Results 11 to 20 of about 142 (106)

Partial maps with domain and range: extending Schein's representation [PDF]

, 2009
The semigroup of all partial maps on a set under the operation of composition admits a number of operations relating to the domain and range of a partial map. Of particular interest are the operations R and L returning the identity on the domain of a map
Stokes, Tim E., Jackson, Marcel
core   +1 more source

Identities in the Algebra of Partial Maps [PDF]

, 2005
We consider the identities of a variety of semigroup-related algebras modelling the algebra of partial maps. We show that the identities are intimately related to a weak semigroup deductive system and we show that the equational theory is decidable.
Marcel Jackson, Stokes, Tim E., Tim Stokes, Jackson, Marcel   +3 more
core   +1 more source

Generating transformation semigroups using endomorphisms of preorders, graphs, and tolerances [PDF]

, 2010
Let ΩΩ be the semigroup of all mappings of a countably infinite set Ω. If U and V are subsemigroups of ΩΩ, then we write U≈V if there exists a finite subset F of ΩΩ such that the subsemigroup generated by U and F equals that generated by V and F.
Morayne, Michal, J.D. Mitchell, Mitchell, James David, Quick, M., Y. Péresse, M. Morayne, Peresse, Yann Hamon, Mitchell, J.D., Quick, Martyn, Morayne, M., M. Quick, Péresse, Y.   +11 more
core   +1 more source

On lattice-ordered monoids [PDF]

, 2003
In the paper lattice-ordered monoids and specially normal lattice-ordered monoids which are a generalization of dually residuated lattice-ordered semigroups are investigated.
Jasem, Milan
core   +1 more source

Ordered monoids and J-trivial monoids [PDF]

, 1999
In this paper we give a new proof of the following result of Straubing and Thérien: every J-trivial monoid is a quotient of an ordered monoid satisfying the identity x ≤ 1.
Jean-eric Pin, Henckell, Karsten, Pin, Jean-Eric, Karsten Henckell   +3 more
core   +2 more sources

Lexicographic extensions of dually residuated lattice ordered monoids [PDF]

, 2004
summary:Dually residuated lattice ordered monoids ($DR\ell $-monoids) are common generalizations of, e.g., lattice ordered groups, Brouwerian algebras and algebras of logics behind fuzzy reasonings ($MV$-algebras, $BL$-algebras) and their non-commutative
Šalounová, Dana, Rachůnek, Jiří
core   +1 more source

Generalized $F$-semigroups [PDF]

, 2005
summary:A semigroup $S$ is called a generalized $F$-semigroup if there exists a group congruence on $S$ such that the identity class contains a greatest element with respect to the natural partial order $\le _{S}$ of $S$. Using the concept of an anticone,
Giraldes, E., Mitsch, H., Marques-Smith, P.   +2 more
core   +1 more source

Monoids with tests and the algebra of possibly non-halting programs [PDF]

, 2015
We study the algebraic theory of computable functions, which can be viewed as arising from possibly non-halting computer programs or algorithms, acting on some state space, equipped with operations of composition, if-then-else and while-do defined in ...
Marcel Jackson, Stokes, Tim E., Tim Stokes, Jackson, Marcel   +3 more
core   +1 more source

Spectral topologies of dually residuated lattice-ordered monoids [PDF]

, 2004
summary:Dually residuated lattice-ordered monoids ($DR\ell $-monoids for short) generalize lattice-ordered groups and include for instance also $GMV$-algebras (pseudo $MV$-algebras), a non-commutative extension of $MV$-algebras. In the present paper, the
Kühr, Jan
core   +1 more source

Locally countable pseudovarieties [PDF]

, 2023
The purpose of this paper is to contribute to the theory of profinite semigroups by considering the special class consisting of those all of whose finitely generated closed subsemigroups are countable, which are said to be locally countable. We also call
Almeida, Jorge, Klíma, O.
core   +4 more sources