Special cases of the interpolation theorem for classical predicate calculus

DOI10.22405/2226-8383-2024-25-2-222-234MaRDI QIDQ6647873zbMATH OpenFDO

Authors Dmitriĭ Alekseevich Tsibul'skiĭ

Publication date 3 December 2024

Published in Chebyshevskiĭ Sbornik (Search for Journal in Brave)

zbMATH Keywords

classical predicate calculusinterpolation theoremHorn interpolantuniversal interpolant

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• scientific article; zbMATH DE number 3124826 (Why is no real title available?)
• scientific article; zbMATH DE number 4027415 (Why is no real title available?)
• scientific article; zbMATH DE number 3625380 (Why is no real title available?)
• scientific article; zbMATH DE number 3895055 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• scientific article; zbMATH DE number 3274716 (Why is no real title available?)
• scientific article; zbMATH DE number 3353345 (Why is no real title available?)
• scientific article; zbMATH DE number 3074068 (Why is no real title available?)
• scientific article; zbMATH DE number 3085803 (Why is no real title available?)
• An extension of the Craig-Lyndon interpolation theorem
• An interpolation theorem in the predicate calculus
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• On variable separation in modal and superintuitionistic logics
• Untersuchungen über das logische Schliessen. I

This page was built for publication: Special cases of the interpolation theorem for classical predicate calculus

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