Previous |  Up |  Next

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
Partner of
EuDML logo