An Analytic Propositional Proof System on Graphs (Q5060181)

From MaRDI portal
scientific article; zbMATH DE number 7639905
Language Label Description Also known as
English
An Analytic Propositional Proof System on Graphs
scientific article; zbMATH DE number 7639905

    Statements

    An Analytic Propositional Proof System on Graphs (English)
    0 references
    0 references
    0 references
    0 references
    9 January 2023
    0 references
    proof theory
    0 references
    prime graphs
    0 references
    cut elimination
    0 references
    deep inference
    0 references
    splitting
    0 references
    analyticity
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers