Fragments of Quasi-Nelson: The Algebraizable Core
From MaRDI portal
Publication:5046720
DOI10.1093/JIGPAL/JZAB023zbMATH Open1499.03075OpenAlexW3178092223MaRDI QIDQ5046720
Publication date: 9 November 2022
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzab023
Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (6)
Fragments of quasi-Nelson: residuation ⋮ Nelson algebras, residuated lattices and rough sets: A survey ⋮ Intuitionistic modal algebras ⋮ Constructive logic with strong negation is a substructural logic. II ⋮ Nelson conuclei and nuclei: the twist construction beyond involutivity ⋮ Algebraizability of the logic of quasi-N4-lattices
This page was built for publication: Fragments of Quasi-Nelson: The Algebraizable Core
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5046720)
