Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value (Q5231281): Difference between revisions

Latest revision as of 22:09, 4 August 2024

scientific article; zbMATH DE number 7098175

Language	Label	Description	Also known as
English	Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value	scientific article; zbMATH DE number 7098175

Statements

instance of

scholarly article

0 references

title

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

0 references

published in

Journal of Applied Non-Classical Logics

0 references

publication date

26 August 2019

0 references

full work available at URL

http://hdl.handle.net/10612/12991

0 references

zbMATH Keywords

Belnap-Dunn type bivalent semantics

0 references

Kleene's strong 3-valued matrix

0 references

natural conditionals

0 references

3-valued logics

0 references

paracomplete logics

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Q4085699

0 references

Reasoning with logical bilattices

0 references

The value of the four values

0 references

Natural 3-valued logics—characterization and proof theory

0 references

Q3858244

0 references

Q3962967

0 references

Intuitive semantics for first-degree entailments and `coupled trees'

0 references

Partiality and its dual

0 references

What is strict implication?

0 references

Q3997000

0 references

On extensions of intermediate logics by strong negation

0 references

Generalizing functional completeness in Belnap-Dunn logic

0 references

A paraconsistent 3-valued logic related to Godel logic G3

0 references

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

0 references

Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3

0 references

Q3701398

0 references

An expansion of first-order Belnap-Dunn logic

0 references

A Lattice of Implicative Extensions of Regular Kleene's Logics

0 references

Identifiers

zbMATH Open document ID

1484.03043

0 references

DOI

10.1080/11663081.2019.1644079

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5231281

@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with logical bilattices
@@ Property / cites work: Reasoning with logical bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+The value of the four values
@@ Property / cites work: The value of the four values / rank @@
+Normal rank
@@ Property / cites work @@
+Natural 3-valued logics—characterization and proof theory
+Normal rank
@@ Property / cites work @@
+Q3858244
@@ Property / cites work: Q3858244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962967
@@ Property / cites work: Q3962967 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+Partiality and its dual
@@ Property / cites work: Partiality and its dual / rank @@
+Normal rank
@@ Property / cites work @@
+What is strict implication?
@@ Property / cites work: What is strict implication? / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997000
@@ Property / cites work: Q3997000 / rank @@
+Normal rank
@@ Property / cites work @@
+On extensions of intermediate logics by strong negation
+Normal rank
@@ Property / cites work @@
+Generalizing functional completeness in Belnap-Dunn logic
+Normal rank
@@ Property / cites work @@
+A paraconsistent 3-valued logic related to Godel logic G3
+Normal rank
@@ Property / cites work @@
+Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
+Normal rank
@@ Property / cites work @@
+Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3
+Normal rank
@@ Property / cites work @@
+Q3701398
@@ Property / cites work: Q3701398 / rank @@
+Normal rank
@@ Property / cites work @@
+An expansion of first-order Belnap-Dunn logic
@@ Property / cites work: An expansion of first-order Belnap-Dunn logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Lattice of Implicative Extensions of Regular Kleene's Logics
+Normal rank
@@ Property / Wikidata QID @@
+Q127408224
@@ Property / Wikidata QID: Q127408224 / rank @@
+Normal rank