Admissibility of the Structural Rules in the Sequent Calculus with Equality (Q6525565)

From MaRDI portal





scientific article from arXiv
Language Label Description Also known as
English
Admissibility of the Structural Rules in the Sequent Calculus with Equality
scientific article from arXiv

    Statements

    Admissibility of the Structural Rules in the Sequent Calculus with Equality (English)
    0 references
    0 references
    0 references

    Identifiers

    0 references