Some uniform categorical theoretical treatment of automata and lattice-valued fuzzy automata using quantale theory is studied in this paper. First, L-relational sheaves on a monoidM andQ-enriched categories are introduced for quantales L andQ, the equivalence of the corresponding categories are proved next. Then lattice-valued (fuzzy) automata are described by Q-enriched categories. In fact, la...

In this paper, we deal with soft lattice implication algebras based on fuzzy sets. Using the concepts of fuzzy (implicative) filters, (∈,∈∨q)fuzzy (implicative) filters and (∈,∈∨q)-fuzzy (implicative) filters, some characterizations for ∈-soft sets and q-soft sets to be (implicative) filteristic soft lattice implication algebras are established.

In this paper we study systems of fuzzy relation inequalities and equations of the formU ◦Vi 6 Vi ◦U (i ∈ I), where U is an unknown and Vi (i ∈ I) are given fuzzy relations, the dual systems Vi ◦ U 6 U ◦ Vi (i ∈ I), their conjunctions, the systems of the formU◦Vi = Vi◦U (i ∈ I), and certain special types of these systems. We call themweakly linear systems. For each weakly linear system, with a ...

Combining intuitionistic fuzzy sets and filter theory,we studied interval valued intuitionistic (T, S)-fuzzy filters on lattice implication algebras. some relation properties of it are obtained, the relation between intuitionistic (T, S)-fuzzy filters and intuitionistic fuzzy set are discussed.The investigation method and content of lattice implication algebras are extended. Mathematics Subject...

In this paper we introduce a new definition of a lattice fuzzy topology which is a generalization of Lowen’s fuzzy topology and show that the category of Lowen’s fuzzy topological spaces is a bireflective full subcategory of the category of lattice fuzzy topological spaces.

in this paper, we study some properties of the near sr-compactnessin l-topological spaces, where l is a fuzzy lattice. the near sr-compactness isa kind of compactness between lowen’s fuzzy compactness and sr-compactness,and it preserves desirable properties of compactness in general topologicalspaces.

Abstract An E -fuzzy group is a lattice-valued algebraic structure, defined on a crisp algebra which is not necessarily a group. The crisp equality is replaced by a particular fuzzy one denoted by E . Classical group-like properties are formulated as appropriate fuzzy identities special lattice theoretic formulas. We prove basic features of E -fuzzy groups: properties of the unit and inverses, ...

in this paper, we deal with molaei’s generalized groups. we definethe notion of a fuzzy generalized subgroup with respect to a t-norm (ort-fuzzy generalized subgroup) and give some related properties. especially,we state and prove the representation theorem for these fuzzy generalizedsubgroups. next, using the concept of continuity of t-norms we obtain a correspondencebetween tf(g), the set of ...

Molodtsov [14,15] introduced the soft set as a mathematical tool for dealing information as the uncertainty of data in engineering, physics, computer sciences and many other diverse field. Presently, the soft set theory is making progress rapidly [1,7].The topological structures of soft sets have been developed by many researchers [2-5,11,17,20]. On the other hand, Hájek [8] introduced a comple...

Presented is a reduction of fuzzy Galois connections and fuzzy concept lattices to (crisp) Galois connections and concept lattices: each fuzzy concept lattice can be viewed as a concept lattice (in a natural way). As a result, a simple proof of the characterization theorem for fuzzy concept lattices is obtained. The reduction enables us to apply the results worked out for concept lattices to fu...