The present paper has been an attempt to investigate the general fuzzy automata on the basis of complete residuated lattice-valued ($L$-GFAs). The study has been chiefly inspired from the work by Mockor cite{15, 16, 17}. Regarding this, the categorical issue of $L$-GFAs has been studied in more details. The main issues addressed in this research include: (1) investigating the relationship betwe...

In this paper, by defining a pair of classical sets as a relative set, an extension of the classical set algebra which is a counterpart of Belnap’s four-valued logic is achieved. Every relative set partitions all objects into four distinct regions corresponding to four truth-values of Belnap’s logic. Like truth-values of Belnap’s logic, relative sets have two orderings; one is an order of inclu...

The starting point of this paper is the introduction of a new measure of inclusion of fuzzy set A in fuzzy set B. Previously used inclusion measures take values in the interval [0,1]; the inclusion measure proposed here takes values in a Boolean lattice. In other words, inclusion is viewed as an Lfuzzy valued relation between fuzzy sets. This relation is reflexive, antisymmetric and transitive,...

The starting point of this paper is the introduction of a new measure of inclusion of fuzzy set A in fuzzy set B. Previously used inclusion measures take values in the interval [0,1]; the inclusion measure proposed here takes values in a Boolean lattice. In other words, inclusion is viewed as an Lfuzzy valued relation between fuzzy sets. This relation is reflexive, antisymmetric and transitive,...

With L a complete lattice and M a continuous lattice, this paper demonstrates an adjunction between M-valued L-topological spaces (i.e. (L,M)-topological spaces) and Idl(M)-valued L-topological spaces where Idl(M) is the complete lattice of all ideals of M. It is shown that the right adjoint functor provides a procedure of generating (L,M)-topologies from antitone families of (L,M)-topologies. ...

We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membership relations ∈+ and ∈−. We define the set theory ZF± as an extension of ZF with new symbols in classical logic. In this system we can represent uncertainty which is naturally represented in the model of 3-valued lo...

the aim of this paper is to introduce and study set- valued homomorphism on lattices and t-rough lattice with respect to a sublattice. this paper deals with t-rough set approach on the lattice theory. the result of this study contributes to, t-rough fuzzy set and approximation theory and proved in several papers. keywords: approximation space; lattice; prime ideal; rough ideal; t-rough set; set...

Let I = (a,b) and L be a nowhere dense perfect set containing the ends of the interval I and let φ : I → R be a non-increasing continuous surjection constant on the components of I \ L and the closures of these components be the maximal intervals of constancy of . The family F t t R of the interval-valued functions F t 1 φ { , ∈ } (x): = φ [t + φ(x)], x ∈ I forms a set-valued iteration group. W...

Intervals are related to the representation of uncertainty. In this sense, we introduce an integral of Gould type for an interval-valued multifunction relative to an interval-valued set multifunction, with respect to Guo and Zhang order relation. Classicaland specific properties of this new type of integral are established and several examples and applications from multicriteria decision making...