Displaying similar documents to “Toward ternary C”

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.

On extensions of orthosymmetric lattice bimorphisms

Mohamed Ali Toumi (2013)

Mathematica Bohemica

Similarity:

In the paper we prove that every orthosymmetric lattice bilinear map on the cartesian product of a vector lattice with itself can be extended to an orthosymmetric lattice bilinear map on the cartesian product of the Dedekind completion with itself. The main tool used in our proof is the technique associated with extension to a vector subspace generated by adjoining one element. As an application, we prove that if ( A , * ) is a commutative d -algebra and A 𝔡 its Dedekind completion, then, A 𝔡 can...

Distributivity of lattices of binary relations

Ivan Chajda (2002)

Mathematica Bohemica

Similarity:

We present a formal scheme which whenever satisfied by relations of a given relational lattice L containing only reflexive and transitive relations ensures distributivity of L .