Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness (Q5937806)
From MaRDI portal
scientific article; zbMATH DE number 1620801
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness |
scientific article; zbMATH DE number 1620801 |
Statements
Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness (English)
0 references
17 July 2001
0 references
four-valued logic
0 references
three-valued logic
0 references
four-valued reasoning
0 references
biconsequence relations
0 references
reasoning with incomplete and inconsistent data
0 references
partial logics
0 references
