Pages that link to "Item:Q1185078"
From MaRDI portal
The following pages link to Quantifiers on distributive lattices (Q1185078):
Displaying 35 items.
- Universal varieties of quasi-Stone algebras (Q331013) (← links)
- A preliminary study of MV-algebras with two quantifiers which commute (Q332078) (← links)
- Coproducts of distributive lattice-based algebras. (Q471163) (← links)
- Bounded lattice structured discriminator varieties (Q616628) (← links)
- Topological representation for monadic implication algebras (Q1040206) (← links)
- Quasivarities of distributive lattices with a quantifier (Q1343244) (← links)
- Equations in the theory of \(Q\)-distributive lattices (Q1377757) (← links)
- Composite distributive lattices as annotation domains for mediators (Q1610220) (← links)
- An alternative definition of quantifiers on four-valued Łukasiewicz algebras (Q1689561) (← links)
- A topological duality for monadic MV-algebras (Q1703683) (← links)
- Free \(Q\)-distributive lattices (Q1914057) (← links)
- Distributive lattices with an operator (Q1914067) (← links)
- Topological spaces of monadic MV-algebras (Q2001132) (← links)
- On a definition of a variety of monadic \(\ell\)-groups. (Q2016065) (← links)
- An algebraic study of S5-modal Gödel logic (Q2062210) (← links)
- Monadic \(k\times j\)-rough Heyting algebras (Q2155492) (← links)
- On monadic operators on modal pseudocomplemented De Morgan algebras and tetravalent modal algebras (Q2323631) (← links)
- Hilbert algebras with a modal operator \(\diamondsuit\) (Q2350975) (← links)
- On residuated lattices with universal quantifiers (Q2411945) (← links)
- Simple and subdirectly irreducibles bounded distributive lattices with unary operators (Q2469035) (← links)
- The logic Ł<sup>•</sup> (Q2933737) (← links)
- ENDOMORPHISMS OF DISTRIBUTIVE LATTICES WITH A QUANTIFIER (Q3502831) (← links)
- Weak-quasi-Stone algebras (Q3632526) (← links)
- (Q3981779) (← links)
- Distributive Lattices with a Negation Operator (Q4243912) (← links)
- An infinity of super-Belnap logics (Q4583174) (← links)
- XI Latin American Symposium on Mathematical Logic (Q4946844) (← links)
- Quasi-modal operators on distributive nearlattices (Q4997890) (← links)
- QUANTIFIERS ON LATTICES WITH AN ANTITONE INVOLUTION (Q5190818) (← links)
- Dual binary discriminator varieties (Q5210626) (← links)
- Varieties of quasi-Stone algebras (Q5935992) (← links)
- Linear Heyting algebras with a quantifier (Q5935999) (← links)
- Bounded lattice expansions (Q5936163) (← links)
- Lattices and Their Consistent Quantification (Q6059637) (← links)
- Heyting \(\kappa\)-frames (Q6597127) (← links)
