A Method of Defining Paraconsistent Tableaus (Q5241530)
From MaRDI portal
scientific article; zbMATH DE number 7124969
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Method of Defining Paraconsistent Tableaus |
scientific article; zbMATH DE number 7124969 |
Statements
A Method of Defining Paraconsistent Tableaus (English)
0 references
31 October 2019
0 references
blind rule
0 references
paraconsistent consequence relation
0 references
paraconsistent tableaus
0 references
t-inconsistency
0 references
tableau rules
0 references
tableaus
0 references
