No label defined (Q4395550)
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 1163926
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1163926 |
Statements
11 January 1999
0 references
relevant logic
0 references
relevance logic
0 references
relevant implication
0 references
R
0 references
paraconsistent logic
0 references
Gentzen system
0 references
sequent calculus
0 references
consecution calculus
0 references
d-expression
0 references
cut-elimination
0 references
0.85788393
0 references
0.8478243
0 references
0.8322096
0 references
0.8288663
0 references
0 references
0.81824994
0 references
0.8177833
0 references
0.8168366
0 references
