Interpolation over the minimal logic and Odintsov intervals
From MaRDI portal
Publication:498237
DOI10.1134/S0037446615030118zbMATH Open1351.03018MaRDI QIDQ498237FDOQ498237
L. L. Maksimova, Veta Fedorovna Yun
Publication date: 28 September 2015
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
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
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Constructive negations and paraconsistency
- The decidability of Craig's interpolation property in well-composed J-logics
- Title not available (Why is that?)
- Interpolation and Definability in Extensions of the Minimal Logic
- A method of proving interpolation in paraconsistent extensions of the minimal logic
- The projective Beth property in well-composed logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logic of classical refutability and class of extensions of minimal logic
- Decidability of the weak interpolation property over the minimal logic
- Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Recognizable logics
- Negative equivalence over the minimal logic and interpolation
Cited In (4)
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)
