An expansion of first-order Belnap-Dunn logic (Q5172135)
From MaRDI portal
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
