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

recognizability; Craig interpolation property; Johansson minimal logic; Odintsov interval

Mathematics Subject Classification ID

03C40: Interpolation, preservation, definability

03B53: Paraconsistent logics

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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