Herbrand-Confluence for Cut Elimination in Classical First Order Logic (Q4649555)

From MaRDI portal
scientific article; zbMATH DE number 6109842
Language Label Description Also known as
English
Herbrand-Confluence for Cut Elimination in Classical First Order Logic
scientific article; zbMATH DE number 6109842

    Statements

    0 references
    0 references
    22 November 2012
    0 references
    proof theory
    0 references
    first-order logic
    0 references
    tree languages
    0 references
    term rewriting
    0 references
    semantics of proofs
    0 references
    Herbrand-Confluence for Cut Elimination in Classical First Order Logic (English)
    0 references

    Identifiers

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