No label defined (Q4275687)
From MaRDI portal
scientific article; zbMATH DE number 487144
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 487144 |
Statements
21 January 1994
0 references
tableaux systems
0 references
automatic reasoning
0 references
cut elimination
0 references
inconsistency
0 references
knowledge representation
0 references
paraconsistent logic
0 references
knowledge in the presence of contradictions
0 references
