Decision methods for linearly ordered Heyting algebras (Q2491077)

From MaRDI portal
Revision as of 13:37, 24 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Decision methods for linearly ordered Heyting algebras
scientific article

    Statements

    title
    Decision methods for linearly ordered Heyting algebras (English)
    0 references
    author
    Roy Dyckhoff
    0 references
    Sara Negri
    0 references
    publication date
    26 May 2006
    0 references
    zbMATH Keywords
    linear order
    0 references
    Gödel algebras
    0 references
    decision problem
    0 references
    Heyting algebras
    0 references
    Gödel-Dummett logic
    0 references
    cites work
    Editorial
    0 references
    Q4450443
    0 references
    Q4944902
    0 references
    Q4083730
    0 references
    Q4938220
    0 references
    Q5693612
    0 references
    Q4809045
    0 references
    Q5310883
    0 references
    Q2744125
    0 references
    Q3813818
    0 references
    Q4716271
    0 references

    Identifiers

    zbMATH DE Number
    5027252
    0 references
    OpenAlex ID
    W2006400179
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2491077&oldid=34873416"
    Powered by MediaWiki