Pretabularity and Craig's interpolation property

DOI10.1007/S10469-024-09742-5MaRDI QIDQ6539754FDOQ6539754

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

• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Pretabular extensions of Lewis S4
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
• Pretabular varieties of modal algebras
• Title not available (Why is that?)
• Pretabular superintuitionistic logic
• The tabularity problem over the minimal logic
• Title not available (Why is that?)
• Strongly decidable properties of modal and intuitionistic calculi
• Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
• Craig's interpolation property in pretabular logics
• Pretabularity and Craig's interpolation problem over the minimal logic

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)