Internal axioms for domain semirings (Q627202)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Internal axioms for domain semirings
scientific article

    Statements

    Internal axioms for domain semirings (English)
    0 references
    0 references
    0 references
    21 February 2011
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    semiring
    0 references
    Kleene algebra
    0 references
    modal semiring
    0 references
    domain operator
    0 references
    codomain operator
    0 references
    antidomain operator
    0 references
    algebra of domain elements
    0 references
    distributive lattice
    0 references
    Boolean algebra
    0 references
    Heyting algebra
    0 references
    Löb's formula
    0 references
    automated theorem proving
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references