Observing, reporting, and deciding in networks of sentences

DOI10.1016/J.APAL.2013.10.008zbMath1314.68298OpenAlexW2025612431MaRDI QIDQ386149

Jeffrey M. Keisler, H. Jerome Keisler

Publication date: 16 December 2013

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.2013.10.008

zbMATH Keywords

networkCraig interpolationknowledge basepartition based reasoningpeer-to-peer inference

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Structure of proofs (03F07) Interpolation, preservation, definability (03C40)

Cites Work

• Unnamed Item
• Unnamed Item
• Craig interpolation for networks of sentences
• Partition-based logical reasoning for first-order and propositional theories
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

This page was built for publication: Observing, reporting, and deciding in networks of sentences