We show how modal quantales arise as convolution algebras QX of functions from catoids
X, multisemigroups equipped with source and target maps, into modal quantales value or …

We study the decidability and complexity of equational theories of the existential calculus of
relations with transitive closure (ECoR*) and its fragments, where ECoR* is the positive …

We present a new integration of relational and algebraic methods in the Isabelle/HOL
theorem proving environment. It consists of a fine grained hierarchy of algebraic structures …

Ordered domain algebras - ScienceDirect Skip to main contentSkip to article Elsevier logo
Journals & Books Search RegisterSign in View PDF Download full issue Search ScienceDirect …

Variants of Kleene algebra support program construction and verification by algebraic
reasoning. This entry provides a verification component for Hoare logic based on Kleene …

The family of domain algebras provide an elegant formal system for automated reasoning
about programme verification. Their primary models are algebras of relations, viz …

We give complete, finite quasiequational axiomatisations for algebras of unary partial
functions under the operations of composition, domain, antidomain, range and intersection …

Binary multirelations generalise binary relations by associating elements of a set to its
subsets. We study the structure and algebra of multirelations under the operations of union …

We present a formalisation in the dependently-typed programming language Agda2 of basic
category and allegory theory, and of generalised algebras where function symbols are …

We show how modal quantales arise as convolution algebras of functions from lr-
multisemigroups that is, multisemigroups with a source map l and a target map r, into modal …