Axiomatization of Boolean algebras via weak dicomplementations

Details Axiomatization of Boolean algebras via weak dicomplementations Axiomatization of Boolean algebras via weak dicomplementations

2009-07-07

arxiv.org/abs/0907.1279v1

Mathematics

Logic

Scientific paper

In this note we give an axiomatization of Boolean algebras based on weakly dicomplemented lattices: an algebra $(L,\wedge,\vee,\tu)$ of type $(2,2,1)$ is a Boolean algebra iff $(L,\wedge,\vee)$ is a non empty lattice and $(x\wedge y)\vee(x\wedge y\tu)=(x\vee y)\wedge(x\vee y\tu)$ for all $x,y\in L$. This provides a unique equation to encode distributivity and complementation on lattices.

Affiliated with

Also associated with

No associations

Rating

Axiomatization of Boolean algebras via weak dicomplementations does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Axiomatization of Boolean algebras via weak dicomplementations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Axiomatization of Boolean algebras via weak dicomplementations will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-356578