FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION

DOI10.1017/jsl.2021.41zbMath1477.18011OpenAlexW3173138713MaRDI QIDQ5015729

Yoshihiro Maruyama

Publication date: 9 December 2021

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/jsl.2021.41

zbMATH Keywords

algebraic logicsubstructural logiccategorical logictopos theorytripos theoryhyperdoctrineLawvere-Tierney topology

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Fibered categories (18D30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

Chu duality theory and coalgebraic representation of quantum symmetries ⋮ Fibered universal algebra for first-order logics

Cites Work

• Relational semantics for full linear logic
• Algebraic proof theory for substructural logics: cut-elimination and completions
• Natural duality, modality, and coalgebra
• Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics
• A non-commutative and non-idempotent theory of quantale sets
• Fundamental results for pointfree convex geometry
• Stone coalgebras
• Generalising canonical extension to the categorical setting
• Algebraic proof theory: hypersequents and hypercompletions
• The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz
• Residuated lattices. An algebraic glimpse at substructural logics
• Categorical logic and type theory
• Representable cylindric algebras
• Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics
• The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
• Categorical Duality Theory: With Applications to Domains, Convexity, and the Distribution Monad
• Tripos theory in retrospect
• The History of Categorical Logic: 1963–1977
• Glivenko theorems for substructural logics over FL
• Tripos theory
• Adjointness in Foundations
• A General Stone-Gelfand Duality
• Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory
• Topological duality via maximal spectrum functor
• Programming Languages and Systems
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item