A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics (Q1344886)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
scientific article

    Statements

    A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics (English)
    0 references
    0 references
    0 references
    22 February 1995
    0 references
    Several implicational propositional systems with restricted structural rules (for example linear and relevant implication) are presented in terms of labelled deduction systems introduced by the second author.
    0 references
    implicational propositional systems with restricted structural rules
    0 references
    labelled deduction systems
    0 references
    0 references

    Identifiers