Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation (Q5156187)
From MaRDI portal
scientific article; zbMATH DE number 7410021
Language | Label | Description | Also known as |
---|---|---|---|
English | Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation |
scientific article; zbMATH DE number 7410021 |
Statements
Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation (English)
0 references
15 October 2021
0 references
Kleene's strong 3-valued matrix
0 references
Gödel-type negation
0 references
dual Gödel-type negation
0 references
natural conditionals
0 references
two-valued belnap-Dunn semantics
0 references
0 references
0 references
0 references