Putting Bounded Involutive Lattices, De Morgan Algebras, Ortholattices and Boolean Algebras on the "Map".

We establish connections existing between bounded involutive lattices, De Morgan algebras and involutive m-MEL algebras and we establish new connections existing between ortholattices, Boolean algebras and involutive m-BE algebras. Many examples (18) are provided.

Authors

• Afrodita Iorgulesc
• Michael Kinyon

Keywords

• m-MEL algebra
• m-BE algebra
• m-BCK algebra
• MV algebra
• bounded involutive lattice
• De Morgan algebra
• ortholattice
• Boolean algebra