Restriction semigroups model algebras of partial maps under composition and domain.
Here we consider restriction semigroups for which the usual Boolean operations on …

We show that strict deterministic propositional dynamic logic with intersection is highly
undecidable, solving a problem in the Stanford Encyclopedia of Philosophy. In fact we show …

The notion of a pseudo-complement is extended to a broad class of semigroups, which we
say are semilattice pseudo-complemented (SP). We examine the relationship between …

ALGEBRAS OF PARTIAL MAPS 1. Introduction In this paper we are going to be interested in
algebras related to semigroups that aris Page 1 ALGEBRAS OF PARTIAL MAPS MARCEL …

An EQ-monoid A is a monoid with distinguished subsemilattice L with 1 2 L and such that
any a, b 2 A have a largest right equalizer in L. The class of all such monoids equipped with …

We define interior algebras, which are natural generalizations of Boolean rings equipped
with an interior operator and of equality algebras. We characterize interior algebras in terms …

We consider a generalisation of the Kurosh--Amitsur radical theory for rings (and more
generally multi-operator groups) which applies to 0-regular varieties in which all operations …

Two propositions may be regarded as doxastically equivalent if revision of an agent's beliefs
to adopt either has the same effect on the agent's belief state. We enrich the language of …

Central internal algebras and varieties Page 1 COMMUNICATIONS IN ALGEBRA, 27(8),
3851-3862 (1999) CENTRAL INTERNAL ALGEBRAS AND VARIETIES AV Kelarev and T …

Abstract In any 0-normal variety (0-regular variety in which {0} is a subalgebra), every
congruence class containing 0 is a subalgebra. These “normal subalgebras” of a fixed …