Article
Keywords:
Directoid; commutative directoid; semilattice; involution; implication algebra; sectionally switching mapping
Summary:
It is shown that every directoid equipped with sectionally switching mappings can be represented as a certain implication algebra. Moreover, if the directoid is also commutative, the corresponding implication algebra is defined by four simple identities.
References:
[1] Abbott J. C.:
Semi-boolean algebras. Matem. Vestnik 4 (1967), 177–198.
MR 0239957
[2] Chajda I.:
Lattices and semilattices having an antitone involution in every upper interval. Comment. Math. Univ. Carol. 44 (2003), 577–585.
MR 2062874 |
Zbl 1101.06003
[3] Chajda I., Halaš R., Kühr J.:
Distributive lattices with sectionally antitone involutions. Acta Sci. Math. (Szeged), 71 (2005), 19–33.
MR 2160352 |
Zbl 1099.06006
[4] Ježek J., Quackenbush R.:
Directoids: algebraic models of up-directed sets. Algebra Universalis 27 (1990), 49–69.
MR 1025835