Results 11 to 20 of about 167 (89)
Beyond Regular Semigroups [PDF]
, 2012 The topic of this thesis is the class of weakly U-abundant semigroups. This class is very wide, containing inverse, orthodox, regular, ample, adequate, quasi-adequate, concordant, abundant, restriction, Ehresmann and weakly abundant semigroups.
Wang, Yanhui
core +6 more sources
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 +3 more
core +1 more source
, 2012 In this thesis we consider in detail the following two fundamental problems for semigroup presentations: 1. Given a semigroup find a presentation defining it. 2. Given a presentation describe the semigroup defined by it.
Ruškuc, Nik
core +2 more sources
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 +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 +3 more
core +1 more source
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. +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 +3 more
core +1 more source