The interpolation problem in finite-layered pre-Heyting logics
From MaRDI portal
Publication:2011363
DOI10.1007/S10469-019-09533-3zbMath1468.03030OpenAlexW2963200439WikidataQ127447361 ScholiaQ127447361MaRDI QIDQ2011363
Veta Fedorovna Yun, Larisa L. Maksimova
Publication date: 6 December 2019
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10469-019-09533-3
Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Paraconsistent logics (03B53)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The projective Beth property in well-composed logics
- Interpolation over the minimal logic and Odintsov intervals
- Interpolation and 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
- Intuitionistic logic and implicit definability
- Extensions of the minimal logic and the interpolation problem
- The decidability of Craig's interpolation property in well-composed J-logics
- Pretabular superintuitionistic logic
- Layers over minimal logic
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Problem of restricted interpolation in superintuitionistic and some modal logics
- Logic of classical refutability and class of extensions of minimal logic
- $$\mu $$ μ -Levels of Interpolation
- Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics
This page was built for publication: The interpolation problem in finite-layered pre-Heyting logics
