scholarly journals On the dualization in distributive lattices and related problems

2021 ◽  
Vol 300 ◽  
pp. 85-96
Author(s):  
Oscar Defrain ◽  
Lhouari Nourine ◽  
Takeaki Uno
Author(s):  
U. M. Swamy ◽  
Ch. Santhi Sundar Raj ◽  
A. Natnael Teshale

2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Wesley Fussner ◽  
Mai Gehrke ◽  
Samuel J. van Gool ◽  
Vincenzo Marra

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.


Order ◽  
2021 ◽  
Author(s):  
Peter Köhler

AbstractThe paper presents a method of composing finite distributive lattices from smaller pieces and applies this to construct the finitely generated free distributive lattices from appropriate Boolean parts.


Author(s):  
Gezahagne Mulat Addis

For a given ideal [Formula: see text] of an almost distributive lattice [Formula: see text], we study the smallest and the largest congruence relation on [Formula: see text] having [Formula: see text] as a congruence class.


1969 ◽  
Vol 9 (3-4) ◽  
pp. 308-309 ◽  
Author(s):  
G. Grätzer

To prove the statement given in the title take a set Σ1 of identities characterizing distributive lattices 〈L; ∨, ∧, 0, 1〉 with 0 and 1, and let Then is Σ redundant set of identities characterizing Stone algebras = 〈L; ∨, ∧, *, 0, 1〉. To show that we only have to verify that for a ∈ L, a* is the pseudo-complement of a. Indeed, a ∧ a* 0; now, if a ∧ x = 0, then a* ∨ x* 0* = 1, and a** ∧ = 1* = 0; since a** is the complement of a*, the last identity implies x** ≦ a*, thus x ≦ x** ≦ a*, which was to be proved.


Sign in / Sign up

Export Citation Format

Share Document