A semantic approach to interpolation

DOI10.1016/J.TCS.2008.09.038MaRDI QIDQ1006639zbMATH OpenOpenAlexFDO

Authors Andrei Popescu, Grigore Roşu, Traian Şerbănuţă

Publication date 25 March 2009

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://eprints.mdx.ac.uk/15380/1/TCS2009.pdf

zbMATH Keywords

algebraic specificationsBirkhoff-style axiomatizabilityCraig interpolationCraig-Robinson interpolationfirst-order sub-logicsinstitutions

Mathematics Subject Classification ID

Classical first-order logic (03B10) Interpolation, preservation, definability (03C40) Abstract data types; algebraic specification (68Q65)

Recommendations

• Foundations of Software Science and Computation Structures
• Harmonious logic: Craig's interpolation theorem and its descendants
• An institution-independent proof of Craig interpolation theorem
• Interpolation in extensions of first-order logic
• Generalized interpolation in first order logic

Cites work

• A simple algebraic proof of the equational interpolation theorem
• An institution-independent proof of Craig interpolation theorem
• An institution-independent proof of the Robinson consistency theorem
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• Complexity, convexity and combinations of theories
• Composing hidden information modules over inclusive institutions
• Foundations of Software Science and Computation Structures
• Generalized interpolation in CASL
• Generalized interpolation in first order logic
• Grothendieck institutions
• scientific article; zbMATH DE number 3938560 (Why is no real title available?)
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 3976991 (Why is no real title available?)
• scientific article; zbMATH DE number 1189278 (Why is no real title available?)
• scientific article; zbMATH DE number 3769603 (Why is no real title available?)
• scientific article; zbMATH DE number 3779578 (Why is no real title available?)
• scientific article; zbMATH DE number 17707 (Why is no real title available?)
• scientific article; zbMATH DE number 23769 (Why is no real title available?)
• scientific article; zbMATH DE number 3550662 (Why is no real title available?)
• scientific article; zbMATH DE number 1543346 (Why is no real title available?)
• scientific article; zbMATH DE number 2196612 (Why is no real title available?)
• scientific article; zbMATH DE number 6296809 (Why is no real title available?)
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Interpolation in Grothendieck institutions
• Interpolation in practical formal development
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Logical foundations of CafeOBJ
• Logical systems for structured specifications.
• Model theory
• Module algebra
• On a generalized modularization theorem
• Simplification by Cooperating Decision Procedures
• Specifications in an arbitrary institution

Cited in

(22)

• Harmonious logic: Craig's interpolation theorem and its descendants
• Interpolation in computing science: The semantics of modularization
• A unified approach to relative interpolation
• A logical approach to interpolation based on similarity relations
• An institution-independent proof of Craig interpolation theorem
• First-order interpolation derived from propositional interpolation
• Craig interpolation with clausal first-order tableaux
• Semantic interpolation
• Constructive interpolation in hybrid logic
• Interpolation via translations
• Interpolation for predefined types
• Craig interpolation for networks of sentences
• scientific article; zbMATH DE number 1931663 (Why is no real title available?)
• scientific article; zbMATH DE number 1850736 (Why is no real title available?)
• Generalized interpolation in first order logic
• On the algebra of structured specifications
• Mechanising a Proof of Craig’s Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle
• Foundations of Software Science and Computation Structures
• Constructing Craig interpolation formulas
• On the fragility of interpolation
• Generalized interpolation in CASL
• Interpolation and the interpretability logic of PA

Describes a project that uses

Uses Software

• CASL
• CafeOBJ

This page was built for publication: A semantic approach to interpolation

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