Proof Systems for Institutional Logic

DOI10.1093/LOGCOM/EXI082MaRDI QIDQ3430948zbMATH OpenOpenAlexFDO

Authors 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

institutionsmorphisms between signaturesquantification

Mathematics Subject Classification ID

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

Recommendations

• Logical systems for structured specifications.
• scientific article; zbMATH DE number 3864486
• Institutions: abstract model theory for specification and programming
• scientific article; zbMATH DE number 2196612
• scientific article; zbMATH DE number 4037182

Cited in

(19)

• Birkhoff completeness in institutions
• Topological systems as a framework for institutions
• Birkhoff style calculi for hybrid logics
• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• The institution-theoretic scope of logic theorems
• Ultraproducts and possible worlds semantics in institutions
• Satisfiability calculus: the semantic counterpart of a proof calculus in general logics
• Abstract Beth definability in institutions
• An Institutional Version of Gödel’s Completeness Theorem
• Representing model theory in a type-theoretical logical framework
• Satisfiability calculus: an abstract formulation of semantic proof systems
• Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
• scientific article; zbMATH DE number 2196612 (Why is no real title available?)
• A logical framework combining model and proof theory
• Representing model theory in a type-theoretical logical framework
• Structural induction in institutions
• Graded consequence: an institution theoretic study
• A categorical study on the finiteness of specifications
• Saturated models in institutions

This page was built for publication: Proof Systems for Institutional Logic

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