Publication:4273440
From MaRDI portal
zbMath0797.03062MaRDI QIDQ4273440
Publication date: 26 January 1994
replacement; substitutions; cylindric algebras; semigroups of finite non-permutational transformations
20M20: Semigroups of transformations, relations, partitions, etc.
20M05: Free semigroups, generators and relations, word problems
03G99: Algebraic logic
03G15: Cylindric and polyadic algebras; relation algebras
Related Items
Relation algebras from cylindric algebras. I, Relation algebras from cylindric algebras. II, Axioms for the finite non-bijective self-maps. Remark on a paper by G. Sági, Complexity of equations valid in algebras of relations. I: Strong non-finitizability, Complexity of equations valid in algebras of relations. II: Finite axiomatizations