Special cases of the interpolation theorem for classical predicate calculus

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

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

• An interpolation theorem in the predicate calculus
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Untersuchungen über das logische Schliessen. I
• On variable separation in modal and superintuitionistic logics
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• An extension of the Craig-Lyndon interpolation theorem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)