Results 81 to 90 of about 260 (120)

Hyperidentities and Clones

2000
The theory of hyperidentities generalises the equational theory of universal algebras and is applicable in several fields of science, especially in computer sciences. This book presents the theory of hyperidentities and its relation to clone identities.
Denecke, Klaus-Dieter, Wismath, Shelly
openaire   +2 more sources

Hyperidentities of weakly idempotent lattices

Journal of Contemporary Mathematical Analysis, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Davidova, D. S., Movsisyan, Yu. M.
openaire   +2 more sources

Hyperidentities in Varieties of Semigroups

, 2000

openalex   +2 more sources

Bilattices and hyperidentities

Proceedings of the Steklov Institute of Mathematics, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

HYPERIDENTITIES OF BOOLEAN ALGEBRAS

Russian Academy of Sciences. Izvestiya Mathematics, 1993
See the review in Zbl 0773.08003.
openaire   +1 more source

Binary hyperidentities of lattices

Aequationes Mathematicae, 1992
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Padmanabhan, R., Penner, P.
openaire   +1 more source

Hyperidentities of De Morgan algebras

Logic Journal of IGPL, 2012
The hyperidentities of the variety of De Morgan algebras are characterized in this paper. A finite base of hyperidentities for this variety is found as a consequence. In particular, we obtain that the variety of De Morgan algebras has a decidable hyperequational theory.
Y. M. Movsisyan, V. A. Aslanyan
openaire   +1 more source

On P-compatible hybrid identities and hyperidentities

Studia Logica, 1994
The notions of \(P\)-compatible identities and hybrid identities are unified to a new concept. A main result is the following theorem. Let \(K\) be a variety of type \(\tau\). Then \(\text{Mod} P(K)\) is solid if and only if \(\Sigma [P(K)] \cong P (\text{Hd} (K))\).
Denecke, Klaus, Hałkowska, Katarzyna
openaire   +2 more sources

Unary Iterative Hyperidentities for Semigroups and Inverse Semigroups

Semigroup Forum, 1997
Unary iterative hyperidentities (u.i.h.) are conditions of the form \(F^a(x)=F^{a+b}(x)\), where \(F\) is a unary operation symbol, and \(a,b\geq 1\). Let \(V_{n,m}\) denote the variety of [inverse] semigroups defined by the identity \(x^n=x^{n+m}\). For each u.i.h., the largest variety of [inverse] semigroups satisfying it is found; the variety is one
Cowan, D., Wismath, S. L.
openaire   +2 more sources

Hyperidentities in algebras and varieties

Russian Mathematical Surveys, 1998
The article consists of 4 sections. Let us list some results. In Section 1 semigroups, groups and multiplicative groups of fields are represented (and characterized) as semigroups and groups of binary functions with hyperidentities, respectively. In Section 2 it is proved that pairs of groups \((G,H)\), where \(H\trianglelefteq G\), can be represented ...
openaire   +2 more sources