Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value

DOI10.1080/11663081.2019.1644079zbMath1484.03043OpenAlexW2909737539WikidataQ127408224 ScholiaQ127408224MaRDI QIDQ5231281

No author found.

Publication date: 26 August 2019

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

Full work available at URL: http://hdl.handle.net/10612/12991

zbMATH Keywords

paracomplete 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

On the three-valued expansions of Kleene's logic, A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\), 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, Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation, Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values

Cites Work

• Unnamed Item
• 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
• Generalizing functional completeness in Belnap-Dunn logic
• The value of the four values
• On extensions of intermediate logics by strong negation
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• Reasoning with logical bilattices
• Natural 3-valued logics—characterization and proof theory
• An expansion of first-order Belnap-Dunn logic
• A paraconsistent 3-valued logic related to Godel logic G3
• What is strict implication?
• A Lattice of Implicative Extensions of Regular Kleene's Logics
• Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values