Craig's interpolation property in pretabular logics

DOI10.1134/s0037446624020095MaRDI QIDQ6203335

Larisa 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

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The tabularity problem over the minimal logic
• Recognizable logics
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• The interpolation problem in finite-layered pre-Heyting logics
• Layers over minimal logic
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• A method of proving interpolation in paraconsistent extensions of the minimal logic
• Logic of classical refutability and class of extensions of minimal logic

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