Previous |  Up |  Next


ortholattice; orthocomplementation; lattice with antitone involution; Sheffer operation
We introduce the concept of Sheffer operation in ortholattices and, more generally, in lattices with antitone involution. By using this, all the fundamental operations of an ortholattice or a lattice with antitone involution are term functions built up from the Sheffer operation. We list axioms characterizing the Sheffer operation in these lattices.
[1] Birkhoff G.: Lattice Theory. : Proc. Amer. Math. Soc., Providence, R. I. third edition, 1967. MR 0227053
[2] Grätzer G.: General Lattice Theory. : Birkhäuser Verlag, Basel. second edition, 1998. MR 1670580
[3] Sheffer H. M.: A set of five independent postulates for Boolean algebras. Trans. Amer. Math. Soc. 14 (1913), 481–488. MR 1500960
Partner of
EuDML logo