Craig's interpolation property in pretabular logics

DOI10.1134/S0037446624020095MaRDI QIDQ6203335FDO

Authors L. L. Maksimova, Veta Fedorovna Yun

Publication date 27 March 2024

Published in Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

minimal logicinterpolation propertypretabular logictabularity

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03Fxx) Model theory (03Cxx) General logic (03Bxx)

Cites work

• scientific article; zbMATH DE number 3609636 (Why is no real title available?)
• scientific article; zbMATH DE number 2047484 (Why is no real title available?)
• scientific article; zbMATH DE number 3300568 (Why is no real title available?)
• scientific article; zbMATH DE number 3419181 (Why is no real title available?)
• A method of proving interpolation in paraconsistent extensions of the minimal logic
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Layers over minimal logic
• Logic of classical refutability and class of extensions of minimal logic
• Recognizable logics
• The interpolation problem in finite-layered pre-Heyting logics
• The tabularity problem over the minimal logic
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

Cited in

(1)

• Pretabularity and Craig's interpolation property

This page was built for publication: Craig's interpolation property in pretabular logics

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