Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value
From MaRDI portal
Publication:5231281
DOI10.1080/11663081.2019.1644079zbMath1484.03043WikidataQ127408224 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
paracomplete logics; 3-valued logics; Belnap-Dunn type bivalent semantics; natural conditionals; Kleene's strong 3-valued matrix
Related Items
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, 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
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
