On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection

DOI10.1007/s00012-018-0558-0OpenAlexW2890293257MaRDI QIDQ1800460

Publication date: 24 October 2018

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-018-0558-0

zbMATH Keywords

identities varieties quasi-varieties groupoids quasi-identities partially ordered groupoids algebras of relations subreducts primitive positive operations

Mathematics Subject Classification ID

Partial orders, general (06A06) Equational logic, Mal'tsev conditions (08B05) Relational systems, laws of composition (08A02)

Related Items (3)

On Jónsson's problem for groupoids of relations with operation of binary cylindrification ⋮ On algebras of binary relations with conjunctive operations ⋮ On groupoids of relations with one conjunctive operation of rank 2

Cites Work

On partially ordered semigroups of relations with domino operations.
Application of non-associative groupoids to the realization of an open key distribution procedure
Identities of semigroups of relations with an operator of reflexive double cylindrification
Axiomatizability of representable domain algebras
Axiomatizability of positive algebras of binary relations
The representation of relation algebras. II
Short equational bases for two varieties of groupoids associated with involuted restrictive bisemigroups of binary relations.
Varieties of groupoids associated with involuted restrictive bisemigroups of binary relations
On quasi-identities of relation algebras with Diophantine operations
Relation algebras with Diophantine operations
Axiomatizability of reducts of algebras of relations
The equational theory of union-free algebras of relations
How can representation theories of inverse semigroups and lattices be united?
On varieties of groupoids of relations with operation of binary cylindrification.
Arguesian lattices which are not type-1
Representations of distributive lattice-ordered semigroups with binary relations
On identities of relation algebras with domino operations.
Ordered domain algebras
Representable semilattice-ordered monoids
On representable relation algebras
Relation algebras and function semigroups
Representation of Modular Lattices and Of Relation Algebras
A Representation Theorem for Semilattices
Varieties of idempotent commutative groupoids
Representation of involuted semigroups by binary relations
Representations of ordered semigroups and lattices by binary relations
On idempotent, commutative, and nonassociative groupoids
On the calculus of relations
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item

This page was built for publication: On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection