On the completeness of interpolation algorithms

DOI10.1145/3661814.3662112MaRDI QIDQ6970230zbMATH OpenFDO

Authors Stefan Hetzl, Raheleh Jalali

Publication date 18 June 2025

zbMATH Keywords

proof theoryresolutionsequent calculusCraig interpolation

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Interpolation, preservation, definability (03C40)

This page was built for publication: On the completeness of interpolation algorithms

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