Multi-valued logic and Gröbner bases with applications to modal logic (Q804567)

From MaRDI portal
Revision as of 21:42, 5 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Multi-valued logic and Gröbner bases with applications to modal logic
scientific article

    Statements

    Multi-valued logic and Gröbner bases with applications to modal logic (English)
    0 references
    0 references
    1991
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    multi-valued logic
    0 references
    deduction problem
    0 references
    ideal membership in a polynomial ring
    0 references
    Lukasiewicz's modal logic
    0 references