The two-sorted algebraic theory of states, and the universal states of MV-algebras

AbstractThe variety of (pointed) residuated lattices includes a vast proportion of the classes of algebras that are relevant for algebraic logic, e.g., $$\ell $$ ℓ -groups, Heyting algebras, MV-algebras, or De Morgan monoids. Among the outliers, one counts orthomodular lattices and other varieties of quantum algebras. We suggest a common framework—pointed left-residuated $$\ell $$ ℓ -groupoids—where residuated structures and quantum structures can all be accommodated. We investigate the lattice of subvarieties of pointed left-residuated $$\ell $$ ℓ -groupoids, their ideals, and develop a theory of left nuclei. Finally, we extend some parts of the theory of join-completions of residuated $$\ell $$ ℓ -groupoids to the left-residuated case, giving a new proof of MacLaren’s theorem for orthomodular lattices.

Download Full-text

Priestley duality for MV-algebras and beyond

Forum Mathematicum ◽

10.1515/forum-2020-0115 ◽

2021 ◽

Vol 0 (0) ◽

Author(s):

Wesley Fussner ◽

Mai Gehrke ◽

Samuel J. van Gool ◽

Vincenzo Marra

Keyword(s):

Large Class ◽

Order Conditions ◽

Enriched Environment ◽

Priestley Duality ◽

Distributive Lattices ◽

First Order ◽

Dual Spaces ◽

Binary Operations ◽

New Perspective ◽

Mv Algebras

Abstract We provide a new perspective on extended Priestley duality for a large class of distributive lattices equipped with binary double quasioperators. Under this approach, non-lattice binary operations are each presented as a pair of partial binary operations on dual spaces. In this enriched environment, equational conditions on the algebraic side of the duality may more often be rendered as first-order conditions on dual spaces. In particular, we specialize our general results to the variety of MV-algebras, obtaining a duality for these in which the equations axiomatizing MV-algebras are dualized as first-order conditions.

Download Full-text