On the variety generated by generalized subreducts of Tarski's algebras of relations

DOI10.1007/s00012-023-00826-4MaRDI QIDQ6053400

Dmitry Aleksandrovich Bredikhin

Publication date: 27 September 2023

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

zbMATH Keywords

identitiesvarietiesgroupoidsalgebra of relations

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Application of non-associative groupoids to the realization of an open key distribution procedure
• 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.
• On quasi-identities of relation algebras with Diophantine operations
• Axiomatizability of reducts of algebras of relations
• The equational theory of union-free algebras of relations
• On groupoids of relations with one conjunctive operation of rank 2
• 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
• Ordered domain algebras
• Representable semilattice-ordered monoids
• On representable relation algebras
• Relation algebras and function semigroups
• Representation of Modular Lattices and Of Relation Algebras

This page was built for publication: On the variety generated by generalized subreducts of Tarski's algebras of relations