A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\)

DOI10.1007/s10849-020-09321-8zbMath1496.03110OpenAlexW3095583400MaRDI QIDQ2035847

Yanyan Li

Publication date: 25 June 2021

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-020-09321-8

zbMATH Keywords

paraconsistent logicsDe Morgan logicsdual intuitionistic logicsRoutley-Meyer ternary relational semantics

Mathematics Subject Classification ID

Many-valued logic (03B50) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)

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
• Weakening and extending \(\mathbb{Z}\)
• Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Partiality and its dual
• On the theory of inconsistent formal systems
• 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
• 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
• A paraconsistent 3-valued logic related to Godel logic G3
• 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 dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\)