Proof nets for classical logic (Q1982017)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Proof nets for classical logic
scientific article

    Statements

    Proof nets for classical logic (English)
    0 references
    0 references
    0 references
    7 September 2021
    0 references
    classical logic
    0 references
    proof nets
    0 references
    proof theory
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references