Boolean algebras in algebraic topology.
Boolean graphs
Boolean part of BL-algebras
Bounded dually residuated lattice ordered monoids as a generalization of fuzzy structures
Bounded lattices with antitone involutions and properties of MV-algebras
We introduce a bounded lattice L = (L;∧,∨,0,1), where for each p ∈ L there exists an antitone involution on the interval [p,1]. We show that there exists a binary operation · on L such that L is term equivalent to an algebra A(L) = (L;·,0) (the assigned algebra to L) and we characterize A(L) by simple axioms similar to that of Abbott's implication algebra. We define new operations ⊕ and ¬ on A(L) which satisfy some of the axioms of MV-algebra. Finally we show what properties must be satisfied by...
Brouwerian semilattices: The lattice of total subalgebras
C- and C*-quotients in pointfree topology [Book]
Calcul des idéaux d'un ordonné fini
Canonical extensions of Stone and double Stone algebras: the natural way
Canonical partition theorems for finite distributive lattices
Cantor-Bernstein theorem for -algebras
CCD lattices in presheaf categories.
Chain Conditions in the Distributive Product of Lattices
Chaînes d'idéaux et de sections initiales d'un ensemble ordonné
Chapitre II Chaînes d'idéaux d'un ensemble ordonné
Characterization of a full set of probabilities on some posets.
Characterization of distributive multilattices by a betweenness relation
Characterizations of 0-distributive posets
The concept of a 0-distributive poset is introduced. It is shown that a section semicomplemented poset is distributive if and only if it is 0-distributive. It is also proved that every pseudocomplemented poset is 0-distributive. Further, 0-distributive posets are characterized in terms of their ideal lattices.
Characterizing triplets for modular pseudocomplemented ordered sets
Classes of filters in generalizations of commutative fuzzy structures
Bounded commutative residuated lattice ordered monoids (-monoids) are a common generalization of -algebras and Heyting algebras, i.e. algebras of basic fuzzy logic and intuitionistic logic, respectively. In the paper we develop the theory of filters of bounded commutative -monoids.