Proof Systems for Institutional Logic

DOI10.1093/logcom/exi082zbMath1113.03062OpenAlexW2158701616MaRDI QIDQ3430948

Răzvan Diaconescu

Publication date: 5 April 2007

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exi082

zbMATH Keywords

quantificationinstitutionsmorphisms between signatures

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Structure of proofs (03F07) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items

Ultraproducts and possible worlds semantics in institutions, Birkhoff style calculi for hybrid logics, Graded consequence: an institution theoretic study, Representing model theory in a type-theoretical logical framework, A logical framework combining model and proof theory, Representing Model Theory in a Type-Theoretical Logical Framework, A categorical study on the finiteness of specifications, Saturated models in institutions, Abstract Beth definability in institutions, Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning, Omitting types theorem in hybrid dynamic first-order logic with rigid symbols