Craig interpolation for networks of sentences
DOI10.1016/J.APAL.2012.03.001zbMATH Open1252.03089OpenAlexW2030290673MaRDI QIDQ435205FDOQ435205
H. Jerome Keisler, Jeffrey M. Keisler
Publication date: 11 July 2012
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2012.03.001
knowledge baseCraig interpolationpeer-to-peer inferencenetworks of sentencespartition-based reasoning
Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Classical first-order logic (03B10) Structure of proofs (03F07) Interpolation, preservation, definability (03C40)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A mathematical introduction to logic.
- Model theory.
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Tools and Algorithms for the Construction and Analysis of Systems
- An interpolation theorem
- Partition-based logical reasoning for first-order and propositional theories
- A simple algebraic proof of the equational interpolation theorem
- A semantic approach to interpolation
- The many faces of interpolation
- Harmonious logic: Craig's interpolation theorem and its descendants
- Interpolation in computing science: The semantics of modularization
- A probabilistic interpolation theorem
- Interpolation, preservation, and pebble games
- An interpolation theorem in the predicate calculus
- Uniform interpolation and propositional quantifiers in modal logics
Cited In (2)
This page was built for publication: Craig interpolation for networks of sentences
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q435205)
