Intuitionistic modal logic and set theory (Q3984426)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Intuitionistic modal logic and set theory
scientific article

    Statements

    Intuitionistic modal logic and set theory (English)
    0 references
    27 June 1992
    0 references
    Heyting-valued sets
    0 references
    intuitionistic modal logic
    0 references
    intensional set theory
    0 references
    modal set theory
    0 references
    provability transfer
    0 references
    0 references

    Identifiers

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