Birkhoff completeness in institutions
From MaRDI portal
Publication:1001374
DOI10.1007/s11787-008-0035-1zbMath1179.03069OpenAlexW2078682546MaRDI QIDQ1001374
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
Categorical logic, topoi (03G30) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22) Abstract model theory (03C95)
Related Items
Foundations of logic programming in hybrid logics with user-defined sharing, Constructor-Based Institutions, Birkhoff style calculi for hybrid logics, Abstract categorical logic, Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally, An encoding of partial algebras as total algebras, Saturated models in institutions