Abstract categorical logic

DOI10.1007/s11787-022-00320-wMaRDI QIDQ6043096

Isabelle Bloch, Marc Aiguier

Publication date: 4 May 2023

Published in: Logica Universalis (Search for Journal in Brave)

zbMATH Keywords

toposcategorical logicabstract quantifiersprop-categories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Abstract model theory (03C95)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An institution-independent proof of the Robinson consistency theorem
• Birkhoff completeness in institutions
• Coalgebraic logic
• The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 1
• Universal coalgebra: A theory of systems
• Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction
• Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
• Logical systems for structured specifications.
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Stratified institutions and elementary homomorphisms
• Institution-independent model theory
• Introduction to Coalgebra
• Completeness by Forcing
• An Institutional Version of Gödel’s Completeness Theorem
• Axioms for abstract model theory
• Adjointness in Foundations
• Institutions: abstract model theory for specification and programming
• Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
• On Extensions of Elementary Logic
• The completeness of the first-order functional calculus