The Worm Calculus (Q5224557)

From MaRDI portal
scientific article; zbMATH DE number 7084823
Language Label Description Also known as
English
The Worm Calculus
scientific article; zbMATH DE number 7084823

    Statements

    0 references
    0 references
    24 July 2019
    0 references
    0 references
    provability logic
    0 references
    strictly positive logics
    0 references
    closed fragment
    0 references
    feasible fragments
    0 references
    reflection calculus
    0 references
    ordinal notations
    0 references
    math.LO
    0 references
    0 references