Harmonious logic: Craig's interpolation theorem and its descendants
From MaRDI portal
Publication:1024116
DOI10.1007/s11229-008-9354-2zbMath1169.03027OpenAlexW2038735278MaRDI QIDQ1024116
Publication date: 16 June 2009
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-008-9354-2
interpolation theoremsabstract model theorypreservation theoremsextensions of first-order logicmany-sorted languages
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Interpolation, preservation, definability (03C40) Abstract model theory (03C95)
Related Items (7)
Model theoretical aspects of weakly aggregative modal logic ⋮ Craig interpolation for networks of sentences ⋮ Craig Interpolation in Displayable Logics ⋮ Craig interpolation in the presence of unreliable connectives ⋮ From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory ⋮ Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi ⋮ The logic-algebraic equations method in system dynamics
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
- An interpolation theorem in the predicate calculus
- Properties preserved under homomorphism
- Positive results in abstract model theory: a theory of compact logics
- Remarks in abstract model theory
- Model theory
- Proof theory. An introduction
- Stationary logic and its friends. I
- Untersuchungen über das logische Schliessen. I
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- Beth's theorem in cardinality logics
- Introduction to model theory and to the metamathematics of algebra
- An Interpolation Theorem
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Linear reasoning. A new form of the Herbrand-Gentzen theorem
- Circle networks of probabilistic transducers
- Theory of models with generalized atomic formulas
- Homomorphism preservation theorems
- Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin
- The theorems of beth and Craig in abstract model theory II. Compact logics
- Compactness, interpolation and Friedman's third problem
- There are reasonably nice logics
- A new look at the interpolation problem
- Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable
- δ-Logics and generalized quantifiers
- Tarski's System of Geometry
- An interpolation theorem for denumerably long formulas
- Satisfaction for n-th order languages defined in n-th order languages
- On Extensions of Elementary Logic
- Logic with the quantifier “there exist uncountably many”
- Infinitary logic and admissible sets
- An extension of the Craig-Lyndon interpolation theorem
- Infinitary formulas preserved under unions of models
- The laws of distribution for syllogisms
This page was built for publication: Harmonious logic: Craig's interpolation theorem and its descendants
