A Cut‐Free Calculus For Dummett's LC Quantified (Q4206723)

From MaRDI portal
scientific article; zbMATH DE number 4127199
Language Label Description Also known as
English
A Cut‐Free Calculus For Dummett's LC Quantified
scientific article; zbMATH DE number 4127199

    Statements

    A Cut‐Free Calculus For Dummett's LC Quantified (English)
    0 references
    0 references
    1989
    0 references
    cut-elimination
    0 references
    Gentzen-type system
    0 references
    Dummett's LC
    0 references
    intuitionistic predicate calculus
    0 references
    many-succedent sequents
    0 references

    Identifiers