Sheffer operation in ortholattices
Ivan Chajda (2005)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity:
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.