On the variety generated by generalized subreducts of Tarski's algebras of relations
From MaRDI portal
Publication:6053400
DOI10.1007/s00012-023-00826-4MaRDI QIDQ6053400
Dmitry Aleksandrovich Bredikhin
Publication date: 27 September 2023
Published in: Algebra Universalis (Search for Journal in Brave)
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