Sur les algèbres de Heyting symétriques
-separation axioms on frames
-algebras of the monad -Fuzz
The 0-distributivity in the class of subalgebra lattices of Heyting algebras and closure algebras
The exocenter of a double Heyting algebra
The frame of fibrewise closed nuclei
The subalgebra lattice of a Heyting algebra
Totally bounded frame quasi-uniformities
This paper considers totally bounded quasi-uniformities and quasi-proximities for frames and shows that for a given quasi-proximity on a frame there is a totally bounded quasi-uniformity on that is the coarsest quasi-uniformity, and the only totally bounded quasi-uniformity, that determines . The constructions due to B. Banaschewski and A. Pultr of the Cauchy spectrum and the compactification of a uniform frame are meaningful for quasi-uniform frames. If is a totally bounded quasi-uniformity...
Weil nearness spaces.
Weil uniformities for frames
In pointfree topology, the notion of uniformity in the form of a system of covers was introduced by J. Isbell in [11], and later developed by A. Pultr in [14] and [15]. Another equivalent notion of locale uniformity was given by P. Fletcher and W. Hunsaker in [6], which they called “entourage uniformity”. The purpose of this paper is to formulate and investigate an alternative definition of entourage uniformity which is more likely to the Weil pointed entourage uniformity, since it is expressed...
When doL-fuzzy ideals of a ring generate a distributive lattice?
The notion of L-fuzzy extended ideals is introduced in a Boolean ring, and their essential properties are investigated. We also build the relation between an L-fuzzy ideal and the class of its L-fuzzy extended ideals. By defining an operator “⇝” between two arbitrary L-fuzzy ideals in terms of L-fuzzy extended ideals, the result that “the family of all L-fuzzy ideals in a Boolean ring is a complete Heyting algebra” is immediately obtained. Furthermore, the lattice structures of L-fuzzy extended...
-Lindelöf locales and their spatial parts
Вложения импликатных решеток и суперинтуиционистские логики
Магариевы и -псевдобулевы алгебры.
Минимальный копорядок псевдобулевых и топобулевых алгебр, не имеющих конечного базиса квазитождеств
О конечных псевдобулевых и топобулевых алгебрах, не имеющих независимого базиса квазитождества
Об одном дискриминаторном многообразии алгебр Гейтинга с инволюцией.
Проективные свойства Бета в модальных и суперинтуиционистских логиках.
Разрешимость проективного свойства Бета в многообразиях гейтинговых алгебр
Структурально полные суперинтуиционистские логики и примитивные многообразия псевдобулевых алгебр