An institution-independent proof of the Robinson consistency theorem

DOI10.1007/s11225-007-9022-4zbMath1123.03059OpenAlexW2094090571MaRDI QIDQ878156

Andrei Popescu, Daniel Găină

Publication date: 26 April 2007

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

Full work available at URL: https://doi.org/10.1007/s11225-007-9022-4

zbMATH Keywords

Craig interpolationinstitutioncategorical abstract model theoryelementary diagraminstitution-independent model theorymany-sorted first-order logicRobinson consistency

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Classical first-order logic (03B10) Interpolation, preservation, definability (03C40)

Related Items

Ultraproducts and possible worlds semantics in institutions, Stratified institutions and elementary homomorphisms, Abstract categorical logic, Interpolation for predefined types, An axiomatic approach to structuring specifications, The institution-theoretic scope of logic theorems, Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally, Saturated models in institutions, An institution-independent proof of the Beth definability theorem, A semantic approach to interpolation, Generalised graded interpolation

Uses Software

• CASL
• FOCI

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalized interpolation in CASL
• On the existence of free models in abstract algebraic institutions
• Quasi-varieties in abstract algebraic institutions
• Specifications in an arbitrary institution
• Complexity, convexity and combinations of theories
• A simple algebraic proof of the equational interpolation theorem
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Interpolation and amalgamation; pushing the limits. II
• On a generalized modularization theorem
• Logical systems for structured specifications.
• An institution-independent proof of Craig interpolation theorem
• Interpolation in Grothendieck institutions
• Herbrand theorems in arbitrary institutions
• Institution-independent model theory
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Interpolation in practical formal development
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• An Institution-independent Generalization of Tarski's Elementary Chain Theorem
• Module algebra
• Robinson's Consistency Theorem in Soft Model Theory
• Simplification by Cooperating Decision Procedures
• Accessible Categories: The Foundations of Categorical Model Theory
• Institutions: abstract model theory for specification and programming
• Elementary Diagrams in Institutions
• Interpolation and compactness in categories of pre-institutions
• Tools and Algorithms for the Construction and Analysis of Systems
• Logics in Artificial Intelligence
• Computer Aided Verification