Publication date
July 2015
DOI Publisher
Springer Science and Business Media LLCAbstract
We show that the equational theory of representable lower semilattice-ordered residuated semigroups is finitely based. We survey related results
We show that the equational theory of representable lower semilattice-ordered residuated semigroups is finitely based. We survey related results
Relation algebra and its reducts provide us with a strong tool for reasoning about nondeterministic ...
Complex algebras of relational structures play an important role in alge-braic logic since they conn...
Thesis (Ph.D.)-University of KwaZulu-Natal, Westville, 2008.Paper 1. This paper establishes several ...
We look at lower semilattice-ordered residuated semigroups and, in particular, the representable one...
Abstract. We look at lower semilattice-ordered residuated semigroups and, in particular, the represe...
Abstract. We show that the equational theory of representable lower semilattice-ordered residuated s...
We show that the equational theory of representable lattice-ordered residuated semigroups is not fin...
We show that the equational theory of representable lattice-ordered residuated semigroups is not fin...
We examine the problem of representing semigroups as binary relations, partial maps and injective fu...
The motivation for using demonic calculus for binary relations stems from the behaviour of demonic t...
Relational semigroups with domain and range are a useful tool for modelling nondeterministic program...
We consider the identities of a variety of semigroup-related algebras modelling the algebra of parti...
The book is meant to serve two purposes. The first and more obvious one is to present state of the a...
We establish the undecidability of representability and of finite representability as algebras of bi...
Abstract. We consider the identities of a variety of semigroup-related algebras modeling the algebra...
Relation algebra and its reducts provide us with a strong tool for reasoning about nondeterministic ...
Complex algebras of relational structures play an important role in alge-braic logic since they conn...
Thesis (Ph.D.)-University of KwaZulu-Natal, Westville, 2008.Paper 1. This paper establishes several ...
We look at lower semilattice-ordered residuated semigroups and, in particular, the representable one...
Abstract. We look at lower semilattice-ordered residuated semigroups and, in particular, the represe...
Abstract. We show that the equational theory of representable lower semilattice-ordered residuated s...
We show that the equational theory of representable lattice-ordered residuated semigroups is not fin...
We show that the equational theory of representable lattice-ordered residuated semigroups is not fin...
We examine the problem of representing semigroups as binary relations, partial maps and injective fu...
The motivation for using demonic calculus for binary relations stems from the behaviour of demonic t...
Relational semigroups with domain and range are a useful tool for modelling nondeterministic program...
We consider the identities of a variety of semigroup-related algebras modelling the algebra of parti...
The book is meant to serve two purposes. The first and more obvious one is to present state of the a...
We establish the undecidability of representability and of finite representability as algebras of bi...
Abstract. We consider the identities of a variety of semigroup-related algebras modeling the algebra...
Relation algebra and its reducts provide us with a strong tool for reasoning about nondeterministic ...
Complex algebras of relational structures play an important role in alge-braic logic since they conn...
Thesis (Ph.D.)-University of KwaZulu-Natal, Westville, 2008.Paper 1. This paper establishes several ...
Add to ORKG