() Citation Context ...ces, while both the axiom of choice and the Stone representation theorem imply the law of excluded middle, and the Boolean prime ideal theorem implies the nonconstructive form of de Morgan’s law: see =-=[5]-=-.) In fact, the vast majority of the assertions ...
A complete lattice L satisfies the join-infinite distributive law if for any S⊆L and x∈L,(JID)x∧(⋁S)=⋁{x∧y|y∈S}. The dual condition is the meet-infinite distributive law, (MID). It is well known that a complete lattice is a Heyting algebra if and only if it ...
Using an algebraic property, the completely distributive law, we have ever given out a characterization of the semicontinuity of lattice-valued mappings. H... 刘应明,罗懋康,彭谦 - 《科学通报(英文版)》 被引量: 11发表: 1990年 Generalized comonotonicity and new axiomatizations of Sugeno integrals ...
[1] Bezhanishvili G, and Jansana, R., Esakia Style Duality for Implicative Semilattices, Applied Categorical Structures, 2013, 21 (2), 181-208 10.1007/s10485-011-9265-0Search in Google Scholar [2] Chagrov, A., and Zakharyaschev M., Modal Logic, Oxford University Press, 1997 Search i...
() Citation Context ...ces, while both the axiom of choice and the Stone representation theorem imply the law of excluded middle, and the Boolean prime ideal theorem implies the nonconstructive form of de Morgan’s law: see =-=[5]-=-.) In fact, the vast majority of the assertions ...
Annals of Pure & Applied LogicJames Cummings and Natasha Dobrinen, The hyper-weak distributive law and a related game in Boolean algebras, Annals of Pure and Applied Logic, to appear.The hyper-weak distributive law and a related game in Boolean algebras - Cummings, Dobrinen () Citation ...