Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems (Q3086526)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5872047
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems |
scientific article; zbMATH DE number 5872047 |
Statements
30 March 2011
0 references
0.8042908906936646
0 references
0.7835848331451416
0 references
0.7750985026359558
0 references
0.768604040145874
0 references
