scientific article
From MaRDI portal
Publication:4011733
zbMath0749.03051MaRDI QIDQ4011733
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items (15)
On quasi-identities of relation algebras with Diophantine operations ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ On the variety generated by generalized subreducts of Tarski's algebras of relations ⋮ Axiomatizability of representable domain algebras ⋮ Axiomatizability of positive algebras of binary relations ⋮ On Jónsson's problem for groupoids of relations with operation of binary cylindrification ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Reasoning with Graphs ⋮ On varieties of groupoids of relations with operation of binary cylindrification. ⋮ On algebras of binary relations with conjunctive operations ⋮ On graph reasoning ⋮ On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection ⋮ Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups ⋮ On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation ⋮ On groupoids of relations with one conjunctive operation of rank 2
This page was built for publication:
