𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Computer proof of monotonicity of operations on orthomodular lattices

✍ Scribed by Gabriëls, Jeannine J.M.; Navara, Mirko

Book ID
122906894
Publisher
Elsevier Science
Year
2013
Tongue
English
Weight
971 KB
Volume
236
Category
Article
ISSN
0020-0255

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Associativity of operations on orthomodu
Associativity of operations on orthomodular lattices
✍ Jeannine J. M. Gabriëls, Mirko Navara 📂 Article 📅 2012 🏛 SP Versita 🌐 English ⚖ 176 KB

## Abstract It is known that orthomodular lattices admit 96 binary operations, out of which 16 are commutative. We clarify which of them are associative.