Automatic reasoning in paraconsistent logic (Q2719629)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: scientific article |
scientific article; zbMATH DE number 1609829
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automatic reasoning in paraconsistent logic |
scientific article; zbMATH DE number 1609829 |
Statements
25 June 2001
0 references
paraconsistent refutation
0 references
linear resolution method
0 references
annotated logic
0 references
paraconsistent logic
0 references
Automatic reasoning in paraconsistent logic (English)
0 references
