TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS (Q6153161)
From MaRDI portal
scientific article; zbMATH DE number 7819583
In more languages
Configure| Language | Label | Description | Also known as |
|---|---|---|---|
| English | TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS |
scientific article; zbMATH DE number 7819583 |
Statements
TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS (English)
