Endomorphisms of implication algebras
In an earlier paper [Semigroup Forum 84, No. 1, 25--32 (2012; Zbl 1243.03077)], the author has proved that two finite implication algebras are isomorphic if their endomorphism monoids are so. Now, this result is extended to arbitrary implication algebras. The main tool is the topological duality for implication, or Tarski, algebras; see [\textit{S. A. Celani} and \textit{L. M. Cabrer}, Algebra Univers. 58, No. 1, 73--94 (2008; Zbl 1136.03046)]. Reviewer's remark: It seems that the author's theorem could be proved also by completely algebraic methods. In such a manner, \textit{C. Tsinakis} has shown a similar result for the so called principal Brouwerian semilattices in [Houston J. Math. 5, 427--436 (1979; Zbl 0431.06003)]. He also notes there that any Boolean lattice, viewed as a member of the class of Brouwerian semilattices, is principal. This observation pertains equally to implication algebras, which are, in fact, reducts of such Boolean lattices.
- An algebraic approach to non-classical logics
- Finite Tarski algebras are determined by their endomorphisms
- scientific article; zbMATH DE number 3245491 (Why is no real title available?)
- Ordered sets, semilattices, distributive lattices and Boolean algebras with homomorphic endomorphism semigroups
- The semigroup of endomorphisms of a Boolean ring
- Topological duality for Tarski algebras
This page was built for publication: Endomorphisms of implication algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2248024)
