On strong normalization in proof-graphs for propositional logic (Q1744419)

From MaRDI portal





scientific article
Language Label Description Also known as
English
On strong normalization in proof-graphs for propositional logic
scientific article

    Statements

    On strong normalization in proof-graphs for propositional logic (English)
    0 references
    0 references
    0 references
    23 April 2018
    0 references
    proof theory
    0 references
    proof graphs
    0 references
    N-graphs
    0 references
    intuitionistic logic
    0 references
    sequent calculus
    0 references
    multiple-conclusion systems
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references