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)
    relevant logics
    natural deduction
    translations

    Identifiers