A syntactic approach to Maksimova's principle of variable separation for some substructural logics (Q5937808)

From MaRDI portal
Revision as of 12:05, 9 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 1620803
Language Label Description Also known as
English
A syntactic approach to Maksimova's principle of variable separation for some substructural logics
scientific article; zbMATH DE number 1620803

    Statements

    A syntactic approach to Maksimova's principle of variable separation for some substructural logics (English)
    0 references
    0 references
    0 references
    0 references
    17 July 2001
    0 references
    provability
    0 references
    principle of variable separation
    0 references
    propositional formulas
    0 references
    proof-theoretic approach
    0 references
    substructural logics
    0 references
    cut-free proof
    0 references

    Identifiers