The intuitionistic propositional calculus with quantifiers (Q1132864)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The intuitionistic propositional calculus with quantifiers
scientific article

    Statements

    The intuitionistic propositional calculus with quantifiers (English)
    0 references
    0 references
    1978
    0 references
    intuitionistic propositional calculus with quantifiers
    0 references
    Kripke-style semantics
    0 references
    completeness theorem
    0 references

    Identifiers

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