Quantifiers on distributive lattices
The author studies (bounded) distributive lattices equipped with (the non-Boolean analogue of) a quantifier in the sense of \textit{P. R. Halmos} [Compos. Math. 12, 217--249 (1956; Zbl 0087.24505)], that is a closure operator \(\nabla\) which preserves finite joins (including 0) and satisfies the identity \(\nabla(a\land \nabla b)=\nabla a\land \nabla b\). He shows that such operators on a given lattice \(L\) correspond to equivalence relations on the Priestley space of \(L\) satisfying suitable conditions. He also considers the variety of signature \((2,2,1,0,0)\) whose members are bounded distributive lattices equipped with a quantifier: he determines the finite subdirectly irreducible algebras in this variety (all of which have the ``simple quantifier which maps everything except 0 to 1) and its lattice of subvarieties (which turns out to be a chain of type \(\omega+1\)).
- Algebras Whose Congruence Lattices are Distributive.
- Algèbres de Boole monadiques libres
- Boolean multiplicative closures, I
- Convergence of quantifiers and martingales
- scientific article; zbMATH DE number 3887755 (Why is no real title available?)
- scientific article; zbMATH DE number 3142898 (Why is no real title available?)
- scientific article; zbMATH DE number 3164639 (Why is no real title available?)
- scientific article; zbMATH DE number 3861224 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3467089 (Why is no real title available?)
- scientific article; zbMATH DE number 3499753 (Why is no real title available?)
- scientific article; zbMATH DE number 3499754 (Why is no real title available?)
- scientific article; zbMATH DE number 3503230 (Why is no real title available?)
- scientific article; zbMATH DE number 3501559 (Why is no real title available?)
- scientific article; zbMATH DE number 3264909 (Why is no real title available?)
- scientific article; zbMATH DE number 3052424 (Why is no real title available?)
- On Equational Classes of Algebraic Versions of Logic I.
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Quantifier theory on quasi-orthomodular lattices
- Quantifiers and orthomodular lattices
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Topological representation for monadic implication algebras
- Quasivarities of distributive lattices with a quantifier
- Equations in the theory of \(Q\)-distributive lattices
- Composite distributive lattices as annotation domains for mediators
- An alternative definition of quantifiers on four-valued Łukasiewicz algebras
- A topological duality for monadic MV-algebras
- Free \(Q\)-distributive lattices
- Distributive lattices with an operator
- Topological spaces of monadic MV-algebras
- On a definition of a variety of monadic \(\ell\)-groups.
- An algebraic study of S5-modal Gödel logic
- Monadic k j-rough Heyting algebras
- On monadic operators on modal pseudocomplemented De Morgan algebras and tetravalent modal algebras
- Hilbert algebras with a modal operator \(\diamondsuit\)
- On residuated lattices with universal quantifiers
- Simple and subdirectly irreducibles bounded distributive lattices with unary operators
- A categorical equivalence for bounded distributive quasi lattices satisfying: x 0=0 x=0.
- The logic Ł•
- Universal varieties of quasi-Stone algebras
- A preliminary study of MV-algebras with two quantifiers which commute
- ENDOMORPHISMS OF DISTRIBUTIVE LATTICES WITH A QUANTIFIER
- Weak-quasi-Stone algebras
- scientific article; zbMATH DE number 22239 (Why is no real title available?)
- Distributive Lattices with a Negation Operator
- scientific article; zbMATH DE number 475200 (Why is no real title available?)
- An infinity of super-Belnap logics
- Coproducts of distributive lattice-based algebras.
- XI Latin American Symposium on Mathematical Logic
- Quasi-modal operators on distributive nearlattices
- QUANTIFIERS ON LATTICES WITH AN ANTITONE INVOLUTION
- Dual binary discriminator varieties
- Orthoposets with quantifiers
- Varieties of quasi-Stone algebras
- Linear Heyting algebras with a quantifier
- Bounded lattice expansions
- Lattices and Their Consistent Quantification
- Monadic quasi-modal distributive nearlattices
- Bounded lattice structured discriminator varieties
- Heyting -frames
This page was built for publication: Quantifiers on distributive lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1185078)
