Craig interpolation for networks of sentences

DOI10.1016/J.APAL.2012.03.001MaRDI QIDQ435205zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

knowledge baseCraig interpolationpeer-to-peer inferencenetworks of sentencespartition-based reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Classical first-order logic (03B10) Structure of proofs (03F07) Interpolation, preservation, definability (03C40)

Recommendations

• scientific article; zbMATH DE number 1931663
• A semantic approach to interpolation
• Harmonious logic: Craig's interpolation theorem and its descendants
• Tools and Algorithms for the Construction and Analysis of Systems
• An institution-independent proof of Craig interpolation theorem

Cites work

• scientific article; zbMATH DE number 3485778 (Why is no real title available?)
• scientific article; zbMATH DE number 910750 (Why is no real title available?)
• scientific article; zbMATH DE number 3370308 (Why is no real title available?)
• scientific article; zbMATH DE number 5180199 (Why is no real title available?)
• A mathematical introduction to logic.
• A probabilistic interpolation theorem
• A semantic approach to interpolation
• A simple algebraic proof of the equational interpolation theorem
• An interpolation theorem
• An interpolation theorem in the predicate calculus
• Distributed reasoning in a peer-to-peer setting: application to the semantic web
• Harmonious logic: Craig's interpolation theorem and its descendants
• Interpolation in computing science: The semantics of modularization
• Interpolation, preservation, and pebble games
• Model theory.
• Partition-based logical reasoning for first-order and propositional theories
• The many faces of interpolation
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Tools and Algorithms for the Construction and Analysis of Systems
• Uniform interpolation and propositional quantifiers in modal logics

Cited in

(3)

• Craig interpolation in the presence of unreliable connectives
• scientific article; zbMATH DE number 1931663 (Why is no real title available?)
• Observing, reporting, and deciding in networks of sentences

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)