Craig interpolation for networks of sentences

DOI10.1016/J.APAL.2012.03.001zbMATH Open1252.03089OpenAlexW2030290673MaRDI QIDQ435205FDOQ435205

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

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

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)

Cites Work

• 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
• Distributed reasoning in a peer-to-peer setting: application to the semantic web
• An interpolation theorem
• Title not available (Why is that?)
• Partition-based logical reasoning for first-order and propositional theories
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• An interpolation theorem in the predicate calculus
• Uniform interpolation and propositional quantifiers in modal logics

Cited In (3)

• Craig interpolation in the presence of unreliable connectives
• Title not available (Why is that?)
• 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)