Boolean Filters of Distributive Lattices

Author(s):  
Mukkamala Sambasiva Rao ◽  
K. P. Shum
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.


2014 ◽  
Vol 2014 ◽  
pp. 1-5
Author(s):  
Jianming Zhan ◽  
Qi Liu ◽  
Hee Sik Kim

Molodtsov’s soft set theory provides a general mathematical framework for dealing with uncertainty. The concepts of(M,N)-SIimplicative (Boolean) filters ofBL-algebras are introduced. Some good examples are explored. The relationships between(M,N)-SIfilters and(M,N)-SIimplicative filters are discussed. Some properties of(M,N)-SIimplicative (Boolean) filters are investigated. In particular, we show that(M,N)-SIimplicative filters and(M,N)-SIBoolean filters are equivalent.


Sign in / Sign up

Export Citation Format

Share Document