Interpolation Theorems for Resolution in Lower Predicate Calculus

DOI10.1145/321592.321604MaRDI QIDQ5596256zbMATH OpenOpenAlexWikidataFDO

Authors James R. Slagle

Publication date 1970

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/321592.321604

zbMATH Keywords

languages, automata, networks

Cited in

(3)

• Partition-based logical reasoning for first-order and propositional theories
• First-order logical filtering
• Synthesizing strongly equivalent logic programs: Beth definability for answer set programs via Craig interpolation in first-order logic

This page was built for publication: Interpolation Theorems for Resolution in Lower Predicate Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5596256)