Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values

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

zbMATH Keywords

paraconsistent logics3-valued logicsBelnap-Dunn type bivalent semanticsnatural conditionalsKleene's strong 3-valued matrix

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53)

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 relevance¹
• 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