TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS (Q6153161)
From MaRDI portal
scientific article; zbMATH DE number 7819583
In more languages
ConfigureLanguage | 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)