Interpolation over the minimal logic and Odintsov intervals

DOI10.1134/S0037446615030118MaRDI QIDQ498237zbMATH OpenFDO

Authors L. L. Maksimova, Veta Fedorovna Yun

Publication date 28 September 2015

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

Full work available at URL https://doi.org/10.1134/S0037446615030118

zbMATH Keywords

Craig interpolation propertyJohansson minimal logicOdintsov intervalrecognizability

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

• 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
• 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?)
• 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)

• Extensions of the minimal logic and the interpolation problem
• The interpolation problem in finite-layered pre-Heyting logics
• Minimal systems
• On interpolation problem in paraconsistent extensions of the minimal logic
• Constructive classifications of modal logics and extensions of 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)