58 results on '"Palmigiano A"'
Search Results
2. Correspondence Theory on Vector Spaces
3. Non-distributive Description Logic
4. Labelled Calculi for Lattice-Based Modal Logics
5. Labelled Calculi for the Logics of Rough Concepts
6. Subordination Algebras as Semantic Environment of Input/Output Logic
7. Modelling Informational Entropy
8. Non Normal Logics: Semantic Analysis and Proof Theory
9. Logics for Rough Concept Analysis
10. Software Tool Support for Modular Reasoning in Modal Logics of Actions
11. Constructive Canonicity for Lattice-Based Fixed Point Logics
12. Multi-type Display Calculus for Semi De Morgan Logic
13. Lattice Logic Properly Displayed
14. Categories: How I Learned to Stop Worrying and Love Two Sorts
15. A Multi-type Calculus for Inquisitive Logic
16. An Abstract Algebraic Logic View on Judgment Aggregation
17. Probabilistic Epistemic Updates on Algebras
18. Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention
19. Unified Correspondence
20. Dynamic Epistemic Logic Displayed
21. Nabla Algebras and Chu Spaces
22. Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic
23. Compositionality in Context
24. Semantics for a Lambda Calculus for String Diagrams
25. Retracing Some Paths in Categorical Semantics: From Process-Propositions-as-Types to Categorified Reals and Computers
26. Multisets and Distributions, in Drawing and Learning
27. Structure in Machine Learning
28. (Towards a) Statistical Probabilistic Lazy Lambda Calculus
29. Lambek–Grishin Calculus: Focusing, Display and Full Polarization
30. Reductive Logic, Proof-Search, and Coalgebra: A Perspective from Resource Semantics
31. The Strategic Balance of Games in Logic
32. On Strictifying Extensional Reflexivity in Compact Closed Categories
33. Compact Inverse Categories
34. The Contextuality-by-Default View of the Sheaf-Theoretic Approach to Contextuality
35. Constraint Satisfaction, Graph Isomorphism, and the Pebbling Comonad
36. Consistency, Acyclicity, and Positive Semirings
37. Monadic Monadic Second Order Logic
38. Putting Paradoxes to Work: Contextuality in Measurement-Based Quantum Computation
39. The Game Semantics of Game Theory
40. A Tale of Additives and Concurrency in Game Semantics
41. The Mays and Musts of Concurrent Strategies
42. Duality, Intensionality, and Contextuality: Philosophy of Category Theory and the Categorical Unity of Science in Samson Abramsky
43. Gödel, Escher, Bell: Contextual Semantics of Logical Paradoxes
44. Deconstructing General References via Game Semantics
45. Describing and Animating Quantum Protocols
46. The Far Side of the Cube : An Elementary Introduction to Game Semantics
47. An Axiomatic Account of a Fully Abstract Game Semantics for General References
48. Closing Bell Boxing Black Box Simulations in the Resource Theory of Contextuality
49. Stone Duality for Relations
50. A Cook’s Tour of Duality in Logic: From Quantifiers, Through Vietoris, to Measures
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.