Axiom Directed Focusing (Q3638252)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Axiom Directed Focusing
scientific article

    Statements

    Axiom Directed Focusing (English)
    0 references
    0 references
    2 July 2009
    0 references
    proof theory
    0 references
    superdeduction
    0 references
    focusing
    0 references
    deduction modulo
    0 references

    Identifiers