the purpose of the present study is to introduce the sequence space[{l_p}(e,delta) = left{ x = (x_n)_{n = 1}^infty : sum_{n = 1}^infty left| sum_{j in {e_n}} x_j - sum_{j in e_{n + 1}} x_jright| ^p < infty right},]where $e=(e_n)$ is a partition of finite subsets of the positive integers and $pge 1$. the topological properties and inclusion relations of this space are studied. moreover, the prob...

Ontology consistency has been shown to be undecidable for a wide variety of fairly inexpressive fuzzy Description Logics (DLs). In particular, for any t-norm “starting with” the Lukasiewicz t-norm, consistency of crisp ontologies (w.r.t. witnessed models) is undecidable in any fuzzy DL with conjunction, existential restrictions, and (residual) negation. In this paper we show that for any t-norm...

We propose a description of continuous evolution of systems with uncertainty based on min or product t-norms of fuzzy logic. We show that the dynamics has a Hamiltonian form in the extended state space composed from “physical” and “information” components if the min t-norm is used. This description is useful when available information on a system behavior is mainly ordinal and not numerical. If...

We de ne approximate xed point in fuzzy norm spaces and prove the existence theorems, we also consider approximate pair constructive map- ping and show its relation with approximate fuzzy xed point.

This is the 5rst one of three articles that are intended to be published consecutively in this journal. Together they constitute a three-part work on the uni5ed subject of fuzzy T -neighbourhood spaces and their fuzzy T -proximities, where T stands for any continuous triangular norm. These new notions generalize, to arbitrary T , corresponding ones due to Artico, H8 ohle, Lowen and Moresco. In ...

In this paper, we introduce and characterize the concept of fuzzy almost generalized $e$-continuous mappings. Several interesting properties of these mappings are also given. Examples and counter examples are also given to illustrate the concepts introduced in the paper. We also introduce the concept of fuzzy $f T_{frac{1}{2}}e$-space, fuzzy $ge$-space, fuzzy regular $ge$-space and  fuzzy gener...

We explain Giles’s characterization of Lukasiewicz logic via a dialogue game combined with bets on results of experiments that may show dispersion. The game is generalized to other fuzzy logics and linked to recent results in proof theory. We argue that these results allow one to place t-norm based fuzzy logics in a common framework with supervaluation as a theory of vagueness.

For theoretical fuzzy control it is a well known strategy to transform a system of control rules into a system of relation equations. Because these systems of relation equations are not always solvable, solvability criteria and approximate solutions have been discussed. We reconsider some of the results in this field and extend them using more recent results on t-norm based fuzzy logics and on ...

The paper presents IF-inference systems of Takagi-Sugeno type. It is based on intuitionistic fuzzy sets (IF-sets), introduced by K.T. Atanassov, fuzzy t-norm and t-conorm, intuitionistic fuzzy t-norm and t-conorm. Thus, an IFinference system is developed for ozone time series prediction. Finally, we compare the results of the IF-inference systems across various operators.