Ü. L. Éršov. Razréšimost′ eléméntarnoj téorii distributivnyh struktur s otnositél′nyml dopolnéniámi i téorii fil′trov (Decidability of the elementary theory of relatively complemented distributive lattices and of the theory of filters). Algébra i logika, Séminar, vol. 3 no. 3 (1964) pp. 17–38.

1969 ◽  
Vol 34 (1) ◽  
pp. 126-126
Author(s):  
Fred Galvin
Keyword(s):  
Elementary Theory ◽  
Algebra I ◽  
Distributive Lattices

L-Fuzzy Filters of Almost Distributive Lattices

2018 ◽  
Vol 8 (1) ◽  
pp. 35
Author(s):  
U. M. Swamy ◽  
Ch. Santhi Sundar Raj ◽  
A. Natnael Teshale
Keyword(s):  
Distributive Lattices ◽  
Fuzzy Filters

scholarly journals Priestley duality for MV-algebras and beyond

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.

scholarly journals The Central Decomposition of FD01(n)

Order ◽  
2021 ◽  
Author(s):  
Peter Köhler
Keyword(s):  
Distributive Lattices ◽  
Finitely Generated ◽  
Finite Distributive Lattices

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.

Sign in / Sign up

Export Citation Format

Share Document