ndependence of axioms for biordered sets.
Page 1
S. Premchand (1984)
Semigroup forum
Klaus Denecke, Prisana Glubudom (2007)
Discussiones Mathematicae - General Algebra and Applications
A non-deterministic hypersubstitution maps any operation symbol of a tree language of type τ to a set of trees of the same type, i.e. to a tree language. Non-deterministic hypersubstitutions can be extended to mappings which map tree languages to tree languages preserving the arities. We define the application of a non-deterministic hypersubstitution to an algebra of type τ and obtain a class of derived algebras. Non-deterministic hypersubstitutions can also be applied to equations of type τ. Formally,...
Ágnes Szendrei (1996)
Mathematica Slovaca
Günter Pilz, Yong-Sian So (1981)
Monatshefte für Mathematik
Akbar Paad (2024)
Mathematica Bohemica
The main goal of this paper is to introduce hybrid positive implicative and hybrid implicative (pre)filters of EQ-algebras. In the following, some characterizations of this hybrid (pre)filters are investigated and it is proved that the quotient algebras induced by hybrid positive implicative filters in residuated EQ-algebras are idempotent and residuated EQ-algebra. Moreover, the relationship between hybrid implicative prefilters and hybrid positive implicative prefilters are discussed and it is...
Elena Vinceková (2008)
Kybernetika
We consider partial abelian monoids, in particular generalized effect algebras. From the given structures, we construct new ones by introducing a new operation , which is given by restriction of the original partial operation + with respect to a special subset called preideal. We bring some derived properties and characterizations of these new built structures, supporting the results by illustrative examples.
R. Cacioppo (1993)
Semigroup forum
Evelyn Nelson (1974)
Colloquium Mathematicae
Seymour Lipschutz, Wujie Shi (2000)
Publications de l'Institut Mathématique
Anthony M. Gaglione, Seymour Lipschutz, Dennis Spellman (2012)
Publications de l'Institut Mathématique
P. Kratochvil (1971)
Colloquium Mathematicae
Ivan Chajda (2005)
Discussiones Mathematicae - General Algebra and Applications
We get an interrelation between an algebraic closure system and its conjugated interior system. We introduce the concept of algebraic interior system and we get its representation.
Jan Chvalina (1981)
Archivum Mathematicum
Bedřich Pondělíček (1979)
Czechoslovak Mathematical Journal
Doroslovački, Rade, Pantović, Jovanka, Vojvodić, Gradimir (1999)
Novi Sad Journal of Mathematics
Jaroslav Ježek, Tomáš Kepka (1983)
Commentationes Mathematicae Universitatis Carolinae
Ivan Chajda (1978)
Časopis pro pěstování matematiky
Tomáš Kepka (1981)
Acta Universitatis Carolinae. Mathematica et Physica
J. Dudek (1971)
Colloquium Mathematicae
Page 1