PROPOSITIONAL LOGIC,FRAMES, AND FUZZY ALGEBRA

Abstract

This paper offers a new look at such things as the fuzzy subalgebras and congruences of an algebra, the fuzzy ideals of a ring or a lattice, and similar entities, by exhibiting them as the models, in the chosen frame T of truth values, of naturally corresponding propositional theories. This provides a systematic approach to the study of the partially ordered sets formed by these various entities, and we demonstrate its usefulness by employing it to derive a number of results, some old and some new, concerning these partially ordered sets. In particular, we prove they are complete lattices, algebraic or continuous, depending on whether T is algebraic or continuous, respectively (Proposition 3); they satisfy the same lattice identities for arbitrary T that hold in the case T = 2 (Corollary of Proposition 4); and they are coherent frames for any coherent T whenever this is the case for T = 2 (Proposition 6). In addition we show, generalizing a result by Makamba and Murali [10], that the familiar classical situations where the congruences of an algebra correspond to certain other entities, such as the normal subgroups of a group or the ideals of a ring, extend to the fuzzy case by proving that the corresponding propositional theories are equivalent (Proposition 2). Further, we obtain the result of Gupta and Kantroo [5] that the fuzzy radical ideals of a commutative ring with unit are the meets of fuzzy prime ideals for arbitrary continuous T in place of the unit interval, using basic facts concerning continuous frames (Proposition 7).     

LOWER SET-VALUED FUZZY TOPOLOGIES

Abstract

A construction by the second author of generating fuzzy topologies from a decreasing chain of fuzzy topologies is generalized by considering the lattice of all lower sets of a completely distributive lattice as a range space of a fuzzy topology.     

RELATIVE COMPACTNESS AND COMPACTNESS OF GENERAL SUBSETS IN AN I- TOPOLOGICAL SPACE

Abstract

In a previous work, we introduced a form of compactness applicable to general fuzzy sets in an I-topological space. It was shown that many of the standard results for compactness in general topology remain valid in the fuzzy setting. In this paper we continue our investigations into the behaviour of compact fuzzy subsets. We also introduce the notion of a relatively compact fuzzy subset and obtain results very similar to those of general topology. Many of our results are in the setting of fuzzy neighbourhood space and fuzzy uniform spaces. In particular, a number of criteria for compactness, already known for the whole space, are extended to arbitrary fuzzy subsets in a fuzzy neighbourhood space.     

On Q-sobriety

The study of fixed-basis variety-based topology was initiated by S.A. Solovyov (in 2008), which, among other things, generalizes fuzzy topology. We extend within this framework, an earlier result due to Srivastava et al. (in 1998), which showed that the category of sober fuzzy topological spaces is the epireflective hull of the fuzzy Sierpinski space in the category of T₀-fuzzy topological spaces.     

Possibility-theoretic extension of derivation operators in formal concept analysis over fuzzy lattices

Formal concept analysis (FCA) associates a binary relation between a set of objects and a set of properties to a lattice of formal concepts defined through a Galois connection. This relation is called a formal context, and a formal concept is then defined by a pair made of a subset of objects and a subset of properties that are put in mutual correspondence by the connection. Several fuzzy logic approaches have been proposed for inducing fuzzy formal concepts from L-contexts based on antitone L-Galois connections. Besides, a possibility-theoretic reading of FCA which has been recently proposed allows us to consider four derivation powerset operators, namely sufficiency, possibility, necessity and dual sufficiency (rather than one in standard FCA). Classically, fuzzy FCA uses a residuated algebra for maintaining the closure property of the composition of sufficiency operators. In this paper, we enlarge this framework and provide sound minimal requirements of a fuzzy algebra w.r.t. the closure and opening properties of antitone L-Galois connections as well as the closure and opening properties of isotone L-Galois connections. We apply these results to particular compositions of the four derivation operators. We also give some noticeable properties which may be useful for building the corresponding associated lattices.     

Orthogonalkompakte Teilmengen topologischer Vektorverbände

The criterion of Dunford-Pettis for weak compactness in Banach lattices of L¹() type can be derived from a characterisation of weak sequentially complete topological vector lattices. This can be done by introducing a concept which reduces to uniform integrability in the L¹() case ([1], [8]). In other cases suitable choice of the topology leads to definitions given by [4], [9], [11] and [12]. It is shown in this paper that the orthogonally compact subsets of a Banach lattice are characterized as those relatively weakly compact sets on which the norm and the order topology agree.

---

---

Der Inhalt dieser Arbeit ist ein Auszug aus der Dissertation des Autors an der Universität Dortmund     

几类基于L*上二元聚合算子的蕴涵

L*是区间值模糊与Atanassov意义下的直觉模糊集的基本格。本文首先基于单位区间上的三角模与三角余模,引入L*上两组对偶的二元聚合算子,然后,类似于剩余蕴涵与强蕴涵的构成方法,利用引入的对偶聚合算子生成几类L*上的蕴涵,并对其性质进行讨论。     

Remarks on the lattices of fuzzy subsets of a groupoid

In this paper we give a necessary and sufficient condition for a groupoid D such that the sup-min product is distributive over arbitrary intersection of fuzzy subsets of D, and correct some results from the paper [S. Ray, The lattice of all idempotent fuzzy subsets of a groupoid, Fuzzy Sets and Systems 96 (1998) 239–245]. Also, we prove that the set of all idempotent fuzzy sets forms a complete lattice, which is a complete join-sublattice of the lattice of all fuzzy subgroupoids. This result extends the corresponding result from the above mentioned paper.     

PRECOMPACTNESS IN FUZZY UNIFORM SPACES

Abstract

The notion of a precompact fuzzy set in a fuzzy uniform space is defined and it is shown that this is a good extension of the standard notion. A theory of precompact fuzzy sets is developed using the previously defined notion of a Cauchy prefilter in a fuzzy uniform space and this theory generalises standard theory.     

EMBEDDINGS INTO THE CATEGORY OF SUPER UNIFORM SPACES

Abstract

The category US of uniform spaces has been generalised in various ways. The category FUS, of fuzzy uniform spaces and the category GUS, of generalised uniform spaces have both been shown to be good extensions in the sense that US can be embedded into them. We show here that the category SUS, of super uniform spaces also enjoys this property and furthermore, the categories FUS and GUS can be embedded into SUS.     

Generalized Anti-Wick Operators with Symbols in Distributional Sobolev spaces

Generalized Anti-Wick operators are introduced as a class of pseudodifferential operators which depend on a symbol and two different window functions. Using symbols in Sobolev spaces with negative smoothness and windows in so-called modulation spaces, we derive new conditions for the boundedness on L² of such operators and for their membership in the Schatten classes. These results extend and refine results contained in [20], [10], [5], [4], and [14].     

EQUIMEASURABLE SETS IN RIESZ SPACES

Abstract

We discuss the notion of equimeasurability in the general setting of Riesz spaces and obtain a characterization for (Carleman) abstract kernel operators in terms of equimea=surable sets.     

CATEGORICAL AXIOMS OF NEIGHBORHOOD SYSTEMS

Abstract

This paper presents a categorical formulation of the neighborhood axioms of topological spaces including a characterization by the corresponding axioms of interior operators. Properties as Hausdorff's separation axioms, compactness are discussed, and various links to internal topologies of topoi, fuzzy topologies, etc. are given.     

ON CERTAIN INITIAL COMPLETIONS IN FUZZY TOPOLOGY

Abstract

Following a lead given by I.W. Alderton, it is shown that the MacNeille completion and the universal initial completion coincide for the categories of zero-dimensional fuzzy T₀-topological spaces, T₀-fuzzy closure spaces, 2T ₀-fuzzy bitopological spaces, and T ₁-fuzzy topological spaces and that these turn out to be respectively the categories of zero-dimensional fuzzy topological spaces, fuzzy closure spaces, fussy bitopological spaces, and fuzzy R ₀ topological spaces.     

Lattice-valued fuzzy Turing machines: Computing power, universality and efficiency

In this paper we study fuzzy Turing machines with membership degrees in distributive lattices, which we called them lattice-valued fuzzy Turing machines. First we give several formulations of lattice-valued fuzzy Turing machines, including in particular deterministic and non-deterministic lattice-valued fuzzy Turing machines (l-DTMcs and l-NTMs). We then show that l-DTMcs and l-NTMs are not equivalent as the acceptors of fuzzy languages. This contrasts sharply with classical Turing machines. Second, we show that lattice-valued fuzzy Turing machines can recognize n-r.e. sets in the sense of Bedregal and Figueira, the super-computing power of fuzzy Turing machines is established in the lattice-setting. Third, we show that the truth-valued lattice being finite is a necessary and sufficient condition for the existence of a universal lattice-valued fuzzy Turing machine. For an infinite distributive lattice with a compact metric, we also show that a universal fuzzy Turing machine exists in an approximate sense. This means, for any prescribed accuracy, there is a universal machine that can simulate any lattice-valued fuzzy Turing machine on it with the given accuracy. Finally, we introduce the notions of lattice-valued fuzzy polynomial time-bounded computation (lP) and lattice-valued non-deterministic fuzzy polynomial time-bounded computation (lNP), and investigate their connections with P and NP. We claim that lattice-valued fuzzy Turing machines are more efficient than classical Turing machines.     

On characterization of generalized interval-valued fuzzy rough sets on two universes of discourse

This paper proposes a general study of (I,T)-interval-valued fuzzy rough sets on two universes of discourse integrating the rough set theory with the interval-valued fuzzy set theory by constructive and axiomatic approaches. Some primary properties of interval-valued fuzzy logical operators and the construction approaches of interval-valued fuzzy T-similarity relations are first introduced. Determined by an interval-valued fuzzy triangular norm and an interval-valued fuzzy implicator, a pair of lower and upper generalized interval-valued fuzzy rough approximation operators with respect to an arbitrary interval-valued fuzzy relation on two universes of discourse is then defined. Properties of I-lower and T-upper interval-valued fuzzy rough approximation operators are examined based on the properties of interval-valued fuzzy logical operators discussed above. Connections between interval-valued fuzzy relations and interval-valued fuzzy rough approximation operators are also established. Finally, an operator-oriented characterization of interval-valued fuzzy rough sets is proposed, that is, interval-valued fuzzy rough approximation operators are characterized by axioms. Different axiom sets of I-lower and T-upper interval-valued fuzzy set-theoretic operators guarantee the existence of different types of interval-valued fuzzy relations which produce the same operators.     

Functional models and finite dimensional perturbations of the shift

We study finite dimensional perturbations of shift operators and their membership to the classes A _{m, n} appearing in the theory of dual algebras. The results obtained yield informations about the lattice of invariant subspaces via the techniques of Scott Brown.     

Decomposition of fuzzy continuity and fuzzy ideal continuity via fuzzy idealization

Recently, El-Naschie has shown that the notion of fuzzy topology may be relevant to quantum paretical physics in connection with string theory and E-infinity space time theory. In this paper, we study the concepts of r-fuzzy semi-I-open, r-fuzzy pre-I-open, r-fuzzy α-I-open and r-fuzzy β-I-open sets, which is properly placed between r-fuzzy openness and r-fuzzy α-I-openness (r-fuzzy pre-I-openness) sets regardless the fuzzy ideal topological space in Ŝostak sense. Moreover, we give a decomposition of fuzzy continuity, fuzzy ideal continuity and fuzzy ideal α-continuity, and obtain several characterization and some properties of these functions. Also, we investigate their relationship with other types of function.     

Fuzzy sets and type 2 under algebraic product and algebraic sum

The concept of fuzzy sets of type 2 has been proposed by L.A. Zadeh as an extension of ordinary fuzzy sets. A fuzzy set of type 2 can be defined by a fuzzy membership function, the grade (or fuzzy grade) of which is taken to be a fuzzy set in the unit interval [0, 1] rather than a point in [0, 1].This paper investigates the algebraic properties of fuzzy grades (that is, fuzzy sets of type 2) under the operations of algebraic product and algebraic sum which can be defined by using the concept of the extension principle and shows that fuzzy grades under these operations do not form such algebraic structures as a lattice and a semiring. Moreover, the properties of fuzzy grades are also discussed in the case where algebraic product and algebraic sum are combined with the well-known operations of join and meet for fuzzy grades and it is shown that normal convex fuzzy grades form a lattice ordered semigroup under join, meet and algebraic product.