Cut-elimination theorem for relevant logics (Q1247417)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Cut-elimination theorem for relevant logics
scientific article

    Statements

    Identifiers