Logics without the contraction rule (Q3707997)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Logics without the contraction rule
scientific article

    Statements

    Logics without the contraction rule (English)
    0 references
    0 references
    0 references
    1985
    0 references
    monoid Kripke semantics
    0 references
    Gentzen-type formulation
    0 references
    relevant logics
    0 references
    BCK- algebras
    0 references

    Identifiers