Layers over minimal logic
From MaRDI portal
Publication:2364334
DOI10.1007/S10469-016-9399-0zbMATH Open1396.03067OpenAlexW2550498662MaRDI QIDQ2364334FDOQ2364334
Veta Fedorovna Yun, L. L. Maksimova
Publication date: 18 July 2017
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10469-016-9399-0
Paraconsistent logics (03B53) Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A propositional calculus with denumerable matrix
- Topological representations of distributive lattices and Brouwerian logics
- Constructive negations and paraconsistency
- Finite equational bases for finite algebras in a congruence-distributive equational class
- A method of proving interpolation in paraconsistent extensions of the minimal logic
- Logic of classical refutability and class of extensions of minimal logic
- Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
- Pretabular superintuitionistic logic
- Recognizable logics
Cited In (8)
- The interpolation problem in finite-layered pre-Heyting logics
- Craig's interpolation property in pretabular logics
- Constructive classifications of modal logics and extensions of minimal logic
- The structure of slices over minimal logic
- Pretabularity and Craig's interpolation problem over the minimal logic
- The tabularity problem over the minimal logic
- Strong computability of slices over the logic GL
- Slices and levels of extensions of the minimal logic
This page was built for publication: Layers over minimal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2364334)