Construction of monadic Heyting algebra in any logos. (Q2813431)

From MaRDI portal





scientific article; zbMATH DE number 6597822
Language Label Description Also known as
English
Construction of monadic Heyting algebra in any logos.
scientific article; zbMATH DE number 6597822

    Statements

    24 June 2016
    0 references
    Heyting algebras
    0 references
    logos
    0 references
    categories
    0 references
    topoi
    0 references
    modal logics
    0 references
    Construction of monadic Heyting algebra in any logos. (English)
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references