The structure of slices over minimal logic
From MaRDI portal
Publication:511341
DOI10.1134/S003744661605013XzbMath1420.03045MaRDI QIDQ511341
Publication date: 15 February 2017
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
Related Items
Strong computability of slices over the logic GL ⋮ Slices and levels of extensions of the minimal logic ⋮ Constructive classifications of modal logics and extensions of minimal logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Recognizable logics
- Constructive negations and paraconsistency
- Pretabular superintuitionistic logic
- Layers over minimal logic
- A propositional calculus with denumerable matrix
- A method of proving interpolation in paraconsistent extensions of the minimal logic
- Algebras Whose Congruence Lattices are Distributive.
This page was built for publication: The structure of slices over minimal logic