AN EIGHT-VALUED PRACONSISTENT LOGIC (Q6180688)
From MaRDI portal
scientific article; zbMATH DE number 7791975
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | AN EIGHT-VALUED PRACONSISTENT LOGIC |
scientific article; zbMATH DE number 7791975 |
Statements
19 January 2024
0 references
contact logics interpreted over intervals
0 references
tableaux approach
0 references
decision procedures
0 references
AN EIGHT-VALUED PRACONSISTENT LOGIC (English)
0 references
