A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions

DOI10.1093/jigpal/jzu029zbMath1405.03066OpenAlexW2029181621MaRDI QIDQ4644508

No author found.

Publication date: 8 January 2019

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzu029

zbMATH Keywords

intermediate logicsDe Morgan logicsbinary Routley semanticsintuitionistic De Morgan logicsRoutley operator

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)

Related Items (5)

A Note on Gödel-Dummet Logic LC ⋮ A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes ⋮ A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\) ⋮ A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\) ⋮ A basic quasi-Boolean logic of intuitionistic character

This page was built for publication: A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions