Interpolation over the minimal logic and Odintsov intervals

DOI10.1134/S0037446615030118MaRDI QIDQ498237zbMATHFDO

Authors L. 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

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

Recommendations

• Extensions of the minimal logic and the interpolation problem
• On interpolation problem in paraconsistent extensions of the minimal logic
• WIP-minimal logics and interpolation
• Interpolation and Definability in Extensions of the Minimal Logic
• Negative equivalence over the minimal logic and interpolation

Cites work

• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 3609636 (Why is no real title available?)
• scientific article; zbMATH DE number 1975401 (Why is no real title available?)
• scientific article; zbMATH DE number 2047484 (Why is no real title available?)
• scientific article; zbMATH DE number 1746556 (Why is no real title available?)
• A method of proving interpolation in paraconsistent extensions of the minimal logic
• Constructive negations and paraconsistency
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Decidability of the weak interpolation property over the minimal logic
• Interpolation and Definability in Extensions of the Minimal Logic
• Logic of classical refutability and class of extensions of minimal logic
• Negative equivalence over the minimal logic and interpolation
• Recognizable logics
• The decidability of Craig's interpolation property in well-composed J-logics
• The projective Beth property in well-composed logics
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

Cited in

(5)

• Constructive classifications of modal logics and extensions of minimal logic
• Extensions of the minimal logic and the interpolation problem
• Minimal systems
• The interpolation problem in finite-layered pre-Heyting logics
• On interpolation problem in paraconsistent extensions of the minimal logic

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

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