A basic quasi-Boolean logic of intuitionistic character

DOI10.1080/11663081.2020.1826155zbMath1486.03044OpenAlexW3090697624MaRDI QIDQ4994021

Gemma Robles

Publication date: 11 June 2021

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2020.1826155

zbMATH Keywords

superintuitionistic logicsDe Morgan logicsRoutley-Meyer ternary relational semanticsquasi-Boolean logicsparaintuitionistic logics

Mathematics Subject Classification ID

Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Classical relevant logics. I
• Classical relevant logics. II
• Partiality and its dual
• Falsification, natural deduction and bi-intuitionistic logic
• (Star-Based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics
• A simple Henkin-style completeness proof for Gödel 3-valued logic G3
• Defining double negation elimination
• The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points
• A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions
• What is strict implication?
• Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values

This page was built for publication: A basic quasi-Boolean logic of intuitionistic character