A basic quasi-Boolean logic of intuitionistic character

DOI10.1080/11663081.2020.1826155MaRDI QIDQ4994021zbMATH OpenOpenAlexFDO

Authors 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

De Morgan logicsparaintuitionistic logicsquasi-Boolean logicsRoutley-Meyer ternary relational semanticssuperintuitionistic logics

Mathematics Subject Classification ID

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

Recommendations

• The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points
• A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\)
• Routley-Meyer ternary relational semantics for intuitionistic-type negations
• A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions
• The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property

Cites work

• (Star-based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics
• A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions
• A simple Henkin-style completeness proof for Gödel 3-valued logic G3
• Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
• Classical relevant logics. I
• Classical relevant logics. II
• Defining double negation elimination
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Falsification, natural deduction and bi-intuitionistic logic
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
• Partiality and its dual
• Routley-Meyer ternary relational semantics for intuitionistic-type negations
• The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points
• What is strict implication?

Cited in

(4)

• A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\)
• Basic quasi-Boolean expansions of relevance logics
• The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points
• Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4994021)