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.
The logical foundations of processes handling uncertainty in information use some classes of algebras as algebraic semantics. Bounded residuated lattice ordered monoids (monoids) are common generalizations of -algebras, i.e., algebras of the propositional basic fuzzy logic, and Heyting algebras, i.e., algebras of the propositional intuitionistic logic. From the point of view of uncertain information, sets of provable formulas in inference systems could be described by fuzzy filters of the corresponding...
A characterization of regular lattices of fuzzy sets and their isomorphisms is given in Part I. A characterization of involutions on regular lattices of fuzzy sets and the isomorphisms of De Morgan algebras of fuzzy sets is given in Part II. Finally all classes of De Morgan algebras of fuzzy sets with respect to isomorphisms are completely described.
We define and study classification systems in an arbitrary CJ-generated complete lattice L. Introducing a partial order among the classification systems of L, we obtain a complete lattice denoted by Cls(L). By using the elements of the classification systems, another lattice is also constructed: the box lattice B(L) of L. We show that B(L) is an atomistic complete lattice, moreover Cls(L)=Cls(B(L)). If B(L) is a pseudocomplemented lattice, then every classification system of L is independent and...
In this paper we prove that the system of all closed convex -subgroups of a convergence -group is a Brouwer lattice and that a similar result is valid for radical classes of convergence -groups.
Let be a uniformly closed and locally m-convex -algebra. We obtain internal conditions on stated in terms of its closed ideals for to be isomorphic and homeomorphic to , the -algebra of all the real continuous functions on a normal topological space endowed with the compact convergence topology.
In this paper, the variety of closure n-valued Łukasiewicz algebras, that is, Łukasiewicz algebras of order n endowed with a closure operator, is investigated. The lattice of subvarieties in the particular case in which the open elements form a three-valued Heyting algebra is obtained.
We consider rings equipped with a closure operation defined in terms of a collection of commuting idempotents, generalising the idea of a topological closure operation defined on a ring of sets. We establish the basic properties of such rings, consider examples and construction methods, and then concentrate on rings which have a closure operation defined in terms of their lattice of central idempotents.
Coaxial filters and strongly coaxial filters are introduced in distributive lattices and some characterization theorems of -lattices are given in terms of co-annihilators. Some properties of coaxial filters of distributive lattices are studied. The concept of normal prime filters is introduced and certain properties of coaxial filters are investigated. Some equivalent conditions are derived for the class of all strongly coaxial filters to become a sublattice of the filter lattice.
Take finitely many topological spaces and for each pair of these spaces choose a pair of corresponding closed subspaces that are identified by a homeomorphism. We note that this gluing procedure does not guarantee that the building pieces, or the gluings of some pieces, are embedded in the space obtained by putting together all given ingredients. Dually, we show that a certain sufficient condition, called the cocycle condition, is also necessary to guarantee sheaf-like properties of surjective multi-pullbacks...
We investigate the structure of the Tukey ordering among directed orders arising naturally in topology and measure theory.