Constructing Craig interpolation formulas

DOI10.1007/BFB0030832MaRDI QIDQ6085706zbMATH OpenOpenAlexFDO

Authors Guoxiang Huang

Publication date 12 December 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bfb0030832

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Interpolation, preservation, definability (03C40)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Applications and Theory of Petri Nets 2005
• Computer Science Logic
• A semantic approach to interpolation
• Interpolants in nonlinear theories over the reals

Cites work

• scientific article; zbMATH DE number 590572 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• Model theory.
• Two notes on Rankin's book on the modular group

Cited in

(8)

• Craig interpolation with clausal first-order tableaux
• scientific article; zbMATH DE number 1543346 (Why is no real title available?)
• Range-restricted and Horn interpolation through clausal tableaux
• Strategy extraction by interpolation
• On the completeness of interpolation algorithms
• Synthesizing strongly equivalent logic programs: Beth definability for answer set programs via Craig interpolation in first-order logic
• Completeness of interpolation algorithms in classical and non-classical logics
• Interpolation and model checking for nonlinear arithmetic

This page was built for publication: Constructing Craig interpolation formulas

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