On an interpretation of second order quantification in first order intuitionistic propositional logic (Q4008745)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On an interpretation of second order quantification in first order intuitionistic propositional logic
scientific article

    Statements

    On an interpretation of second order quantification in first order intuitionistic propositional logic (English)
    0 references
    0 references
    27 September 1992
    0 references
    Heyting's intuitionistic propositional calculus
    0 references
    quantification
    0 references
    second order propositional calculus
    0 references
    interpolation
    0 references
    Heyting algebras
    0 references

    Identifiers

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