Birkhoff completeness in institutions

DOI10.1007/S11787-008-0035-1MaRDI QIDQ1001374zbMATH OpenOpenAlexFDO

Authors Mihai Codescu, Daniel Găină

Publication date 17 February 2009

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-008-0035-1

zbMATH Keywords

proof theoryHorn sentencesabstract substitutionsBirkhoff completenessinstitutional model theory

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22) Abstract model theory (03C95) Categorical logic, topoi (03G30)

Recommendations

• Birkhoff style calculi for hybrid logics
• An Institutional Version of Gödel’s Completeness Theorem
• Proof Systems for Institutional Logic
• Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences
• An institution-independent proof of Craig interpolation theorem

Cited in

(11)

• An Institutional Version of Gödel’s Completeness Theorem
• Revisiting the Institutional Approach to Herbrand’s Theorem
• Constructor-based institutions
• Institution morphisms
• An encoding of partial algebras as total algebras
• Birkhoff style calculi for hybrid logics
• Saturated models in institutions
• Foundations of logic programming in hybrid logics with user-defined sharing
• Abstract Beth definability in institutions
• Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
• Abstract categorical logic

This page was built for publication: Birkhoff completeness in institutions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1001374)