Results 31 to 40 of about 91 (84)

Interassociativity Via Hyperidentities

Journal of Contemporary Mathematical Analysis (Armenian Academy of Sciences), 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Movsisyan, Yu. M., Kirakosyan, Grigor
openaire   +1 more source

A Hyperbase for Binary Lattice Hyperidentities

Journal of Automated Reasoning, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
R Padmanabhan
exaly   +3 more sources

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 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.
Yu. M. Movsisyan, V. A. Aslanyan
openaire   +1 more source

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

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 and solid varieties

Algebra Universalis, 2006
Let V be a variety of type τ. A type τ hyperidentity of V is an identity of V which also holds in an additional stronger sense: for every substitution of terms of the variety (of appropriate arity) for the operation symbols in the identity, the resulting equation holds as an identity of the variety.
exaly   +2 more sources

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))\).
Klaus Denecke, Katarzyna Halkowska
openaire   +3 more sources