Craig interpolation for networks of sentences
type: Item
instance of: scholarly article
title: Craig interpolation for networks of sentences
zbMATH Open document ID: 1252.03089
author: H. Jerome Keisler
author: Jeffrey M. Keisler
published in: Annals of Pure and Applied Logic
publication date: 2012-07-11T00:00:00Z
Mathematics Subject Classification ID: 03C40
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T42
zbMATH DE Number: 6054365
zbMATH Keywords: Craig interpolation
zbMATH Keywords: partition-based reasoning
zbMATH Keywords: peer-to-peer inference
zbMATH Keywords: knowledge base
zbMATH Keywords: networks of sentences
MaRDI profile type: Publication
full work available at URL: j.apal.2012.03.001
OpenAlex ID: W2030290673
cites work: Q3624002
cites work: Partition-based logical reasoning for first-order and propositional theories
cites work: Interpolation, preservation, and pebble games
cites work: The many faces of interpolation
cites work: Uniform interpolation and propositional quantifiers in modal logics
cites work: Q4885912
cites work: Model theory.
cites work: Q5754729
cites work: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
cites work: A mathematical introduction to logic.
cites work: Q4068717
cites work: Harmonious logic: Craig's interpolation theorem and its descendants
cites work: Q5642540
cites work: A probabilistic interpolation theorem
cites work: An interpolation theorem in the predicate calculus
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: An interpolation theorem
cites work: A semantic approach to interpolation
cites work: Interpolation in computing science: The semantics of modularization
cites work: A simple algebraic proof of the equational interpolation theorem
DOI: 10.1016/J.APAL.2012.03.001
description: scientific article; zbMATH DE number 6054365