Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq (Q2142084)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq
scientific article

    Statements

    Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq (English)
    0 references
    0 references
    0 references
    0 references
    25 May 2022
    0 references
    provability logic
    0 references
    cut admissibility
    0 references
    interactive theorem proving
    0 references
    proof theory
    0 references

    Identifiers