Add to ORKGDomain operations on semirings have been axiomatised in two different ways: by a map from an additively idempotent semiring into a boolean subalgebra of the semiring bounded by the additive and multiplicative unit of the semiring, or by an endofunction on a semiring that induces a distributive lattice bounded by the two units as its image. This note presents classes of semirings where these approaches coincide
Equivalences, partitions and (bi)simulations are usually tackled using concrete relations. There are...
Abstract. We axiomatise and study operations for relational domain and antidomain on semigroups and ...
AbstractThe family of domain algebras provide an elegant formal system for automated reasoning about...
AbstractNew axioms for domain operations on semirings and Kleene algebras are proposed. They general...
We investigate modal algebras that arise by adding operations of domain and antidomain to semirings ...
Due to their increasing complexity, today’s computer systems are studied using multiple models and f...
Algebraic structures, such as modal idempotent semirings or Kleene algebras, offer a large variety of...
We study the first-order axiomatisability of finite semiring interpretations or, equivalently, the q...
Modal idempotent semirings cover a large set of different applications. The paper presents a small c...
summary:Semirings are modifications of unitary rings where the additive reduct does not form a group...
In this paper, we give a characterization of injective semimodules over additively idempotent semiri...
A distributive lattice-ordered magma ($d\ell$-magma) $(A,\wedge,\vee,\cdot)$ is a distributive latti...
First, we show with two examples that in test semirings with an incomplete test algebra a domain ope...
We present a collection of axiom systems for the construction of Boolean subalgebras of larger overa...
First, we show with two examples that in test semirings with an incomplete test algebra a domain ope...
Equivalences, partitions and (bi)simulations are usually tackled using concrete relations. There are...
Abstract. We axiomatise and study operations for relational domain and antidomain on semigroups and ...
AbstractThe family of domain algebras provide an elegant formal system for automated reasoning about...
AbstractNew axioms for domain operations on semirings and Kleene algebras are proposed. They general...
We investigate modal algebras that arise by adding operations of domain and antidomain to semirings ...
Due to their increasing complexity, today’s computer systems are studied using multiple models and f...
Algebraic structures, such as modal idempotent semirings or Kleene algebras, offer a large variety of...
We study the first-order axiomatisability of finite semiring interpretations or, equivalently, the q...
Modal idempotent semirings cover a large set of different applications. The paper presents a small c...
summary:Semirings are modifications of unitary rings where the additive reduct does not form a group...
In this paper, we give a characterization of injective semimodules over additively idempotent semiri...
A distributive lattice-ordered magma ($d\ell$-magma) $(A,\wedge,\vee,\cdot)$ is a distributive latti...
First, we show with two examples that in test semirings with an incomplete test algebra a domain ope...
We present a collection of axiom systems for the construction of Boolean subalgebras of larger overa...
First, we show with two examples that in test semirings with an incomplete test algebra a domain ope...
Equivalences, partitions and (bi)simulations are usually tackled using concrete relations. There are...
Abstract. We axiomatise and study operations for relational domain and antidomain on semigroups and ...
AbstractThe family of domain algebras provide an elegant formal system for automated reasoning about...