On middle distributivity for skew lattices

zbMath0964.06004MaRDI QIDQ1590061

Matthew Spinks

Publication date: 19 July 2001

Published in: Semigroup Forum (Search for Journal in Brave)

zbMATH Keywords

skew latticesmiddle distributive identitiessystem for enumerating finite models

Mathematics Subject Classification ID

Structure theory of lattices (06B05) Varieties of lattices (06B20) Software, source code, etc. for problems pertaining to ordered structures (06-04)

Related Items (7)

Distributivity in skew lattices ⋮ Cancellation in skew lattices ⋮ VARIETIES OF SKEW BOOLEAN ALGEBRAS WITH INTERSECTIONS ⋮ MACE4 and SEM: A Comparison of Finite Model Generators ⋮ My journey into noncommutative lattices and their theory ⋮ On the coset structure of a skew lattice ⋮ Skew lattices and set-theoretic solutions of the Yang-Baxter equation

Uses Software

• OTTER

This page was built for publication: On middle distributivity for skew lattices