Formal systems for modal operators on locales (Q1319366)

From MaRDI portal
Revision as of 13:12, 31 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Formal systems for modal operators on locales
scientific article

    Statements

    title
    Formal systems for modal operators on locales (English)
    0 references
    DOI
    10.1007/BF01053262
    0 references
    author
    Gonzalo E. Reyes
    0 references
    Marek W. Zawadowski
    0 references
    publication date
    12 April 1994
    0 references
    Mathematics Subject Classification ID
    03B45
    0 references
    03G30
    0 references
    18B25
    0 references
    zbMATH DE Number
    549800
    0 references
    zbMATH Keywords
    modal operators on locales
    0 references
    propositional modal logics
    0 references
    completeness
    0 references
    decidability
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1319366&oldid=13442188"
    Powered by MediaWiki