Pretabularity and Craig's interpolation property

DOI10.1007/S10469-024-09742-5MaRDI QIDQ6539754zbMATH OpenFDO

Authors L. L. Maksimova, Veta Fedorovna Yun

Publication date 15 May 2024

Published in Algebra and Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Group theory and generalizations (20-XX)

Cites work

• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 2047484 (Why is no real title available?)
• scientific article; zbMATH DE number 4197954 (Why is no real title available?)
• scientific article; zbMATH DE number 3024119 (Why is no real title available?)
• Craig's interpolation property in pretabular logics
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
• Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
• Pretabular extensions of Lewis S4
• Pretabular superintuitionistic logic
• Pretabular varieties of modal algebras
• Pretabularity and Craig's interpolation problem over the minimal logic
• Strongly decidable properties of modal and intuitionistic calculi
• The tabularity problem over the minimal logic
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

This page was built for publication: Pretabularity and Craig's interpolation property

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