An expansion of first-order Belnap-Dunn logic (Q5172135)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An expansion of first-order Belnap-Dunn logic |
scientific article; zbMATH DE number 6403083
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An expansion of first-order Belnap-Dunn logic |
scientific article; zbMATH DE number 6403083 |
Statements
An expansion of first-order Belnap-Dunn logic (English)
0 references
12 February 2015
0 references
Belnap-Dunn logic
0 references
Baaz's delta operator
0 references
four-valued logic
0 references
paraconsistent logic
0 references
Łukasiewicz's implication
0 references
0.92823213
0 references
0 references
0.8941698
0 references
0.88917404
0 references
0.8880414
0 references
0.88789856
0 references
