TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS (Q6153161)
From MaRDI portal
scientific article; zbMATH DE number 7819583
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)
0 references
16 March 2024
0 references
relevant logics
0 references
natural deduction
0 references
translations
0 references
0 references