Layers over minimal logic
From MaRDI portal
Recommendations
- Slices and levels of extensions of the minimal logic
- The structure of slices over minimal logic
- On the degree of complexity of sentential logics. III. An example of Johansson's minimal logic
- The lattice of extensions of the minimal logic
- Constructive classifications of modal logics and extensions of minimal logic
Cites work
- scientific article; zbMATH DE number 2184446 (Why is no real title available?)
- scientific article; zbMATH DE number 3659563 (Why is no real title available?)
- scientific article; zbMATH DE number 3300568 (Why is no real title available?)
- scientific article; zbMATH DE number 3353345 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- A method of proving interpolation in paraconsistent extensions of the minimal logic
- A propositional calculus with denumerable matrix
- Constructive negations and paraconsistency
- Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
- Finite equational bases for finite algebras in a congruence-distributive equational class
- Logic of classical refutability and class of extensions of minimal logic
- Pretabular superintuitionistic logic
- Recognizable logics
- Topological representations of distributive lattices and Brouwerian logics
Cited in
(11)- On the degree of complexity of sentential logics. III. An example of Johansson's minimal logic
- The interpolation problem in finite-layered pre-Heyting logics
- The lattice of extensions of the minimal logic
- Craig's interpolation property in pretabular logics
- Constructive classifications of modal logics and extensions of minimal logic
- scientific article; zbMATH DE number 3863174 (Why is no real title available?)
- The structure of slices over minimal logic
- The tabularity problem over the minimal logic
- Pretabularity and Craig's interpolation 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)