On cyclic symmetric Heyting algebras.
On equalizers in the category of frames with weakly open homomorphisms
On extended frames
Some aspects of extended frames are studied, namely, the behaviour of ideals, covers, admissible systems of covers and uniformities.
On frame congruences generated by frame tolerances
Nuclei of frame congruences generated by frame tolerances and by lattice congruences are constructed.
On Priestley duals of products
On Probability Function On Pseudo-Boolean Algebra
On some connections between Boolean algebras and Heyting algebras
On the lattice of n-filters of an LM n-algebra
For an n-valued Łukasiewicz-Moisil algebra L (or LM n-algebra for short) we denote by F n(L) the lattice of all n-filters of L. The goal of this paper is to study the lattice F n(L) and to give new characterizations for the meet-irreducible and completely meet-irreducible elements on F n(L).
Perfect compactifications of frames
Perfect compactifications of frames are introduced. It is shown that the Stone-Čech compactification is an example of such a compactification. We also introduce rim-compact frames and for such frames we define its Freudenthal compactification, another example of a perfect compactification. The remainder of a rim-compact frame in its Freudenthal compactification is shown to be zero-dimensional. It is shown that with the assumption of the Boolean Ultrafilter Theorem the Freudenthal compactification...
Radicals and complete distributivity in relatively normal lattices
Lattices in the class of algebraic, distributive lattices whose compact elements form relatively normal lattices are investigated. We deal mainly with the lattices in the greatest element of which is compact. The distributive radicals of algebraic lattices are introduced and for the lattices in with the sublattice of compact elements satisfying the conditional join-infinite distributive law they are compared with two other kinds of radicals. Connections between complete distributivity of algebraic...
Random variables on Boolean and Heyting algebras and their numerical characteristics [Book]
Representation of certain classes of distributive lattices by sections of sheaves.
Semiregular frames
Sheaves on a quantale
Simple and subdirectly irreducibles bounded distributive lattices with unary operators.
Spaces with Boolean assemblies
Spectra of autometrized lattice algebras
Autometrized algebras are a common generalization e.g. of commutative lattice ordered groups and Brouwerian algebras. In the paper, spectra of normal autometrized lattice ordered algebras (i.e. topologies of sets (and subsets) of their proper prime ideals) are studied. Especially, the representable dually residuated lattice ordered semigroups are examined.
Stable closed frame homomorphisms
Structure des topologies d'un topos
Sur l'axiome d'Ivo Thomas