Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
From MaRDI portal
Publication:5742698
DOI10.1080/11663081.2018.1534487zbMath1444.03092OpenAlexW4233463705MaRDI QIDQ5742698
No author found.
Publication date: 8 May 2019
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10612/12990
paraconsistent logics3-valued logicsBelnap-Dunn type bivalent semanticsnatural conditionalsKleene's strong 3-valued matrix
Related Items (10)
Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable ⋮ The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 ⋮ A class of implicative expansions of Kleene's strong logic, a subclass of which is shown functionally complete via the precompleteness of Łukasiewicz's 3-valued logic Ł3 ⋮ Basic quasi-Boolean expansions of relevance logics ⋮ Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation ⋮ A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\) ⋮ Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value ⋮ A basic quasi-Boolean logic of intuitionistic character
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3
- Logic of paradox revisited
- On an implication connective of RM
- The logic of paradox
- The value of the four values
- Handbook of philosophical logic. Vol. 6
- Intuitive semantics for first-degree entailments and `coupled trees'
- Partiality and its dual
- Reasoning with logical bilattices
- A calculus of antinomics
- A simple Henkin-style completeness proof for Gödel 3-valued logic G3
- Jaśkowski's criterion and three-valued paraconsistent logics
- Formal inconsistency and evolutionary databases
- Entailment and relevance1
- Natural 3-valued logics—characterization and proof theory
- Foundations of fuzzy reasoning
- The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic
- AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX
- COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX
- A paraconsistent 3-valued logic related to Godel logic G3
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value
- What is strict implication?
- Three-Valued Logics, Uncertainty Management and Rough Sets
- A Lattice of Implicative Extensions of Regular Kleene's Logics
This page was built for publication: Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values