Interpolation over the minimal logic and Odintsov intervals

DOI10.1134/S0037446615030118zbMath1351.03018MaRDI QIDQ498237

Larisa L. Maksimova, Veta Fedorovna Yun

Publication date: 28 September 2015

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

zbMATH Keywords

recognizabilityCraig interpolation propertyJohansson minimal logicOdintsov interval

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Paraconsistent logics (03B53)

Related Items (3)

Extensions of the minimal logic and the interpolation problem ⋮ The interpolation problem in finite-layered pre-Heyting logics ⋮ Constructive classifications of modal logics and extensions of minimal logic

Cites Work

• The projective Beth property in well-composed logics
• Decidability of the weak interpolation property over the minimal logic
• Recognizable logics
• Negative equivalence over the minimal logic and interpolation
• Constructive negations and paraconsistency
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• The decidability of Craig's interpolation property in well-composed J-logics
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Interpolation and Definability in Extensions of the Minimal Logic
• A method of proving interpolation in paraconsistent extensions of the minimal logic
• Logic of classical refutability and class of extensions of minimal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interpolation over the minimal logic and Odintsov intervals