In this paper we are going to introduce the notion of strong non-standard completeness (SNSC) for fuzzy logics. This notion naturally arises from the well known construction by ultraproduct. Roughly speaking, to say that a logic C is strong non-standard complete means that, for any countable theory Γ over C and any formula φ such that Γ 6`C φ, there exists an evaluation e of C-formulas into a C...

This paper studies fuzzy relations in the graded framework of Fuzzy Class Theory (FCT). This includes (i) rephrasing existing work on graded properties of binary fuzzy relations in the framework of Fuzzy Class Theory and (ii) generalizing existing crisp results on fuzzy relations to the graded framework. Our particular aim is to demonstrate that Fuzzy Class Theory is a powerful and easy-to-use ...

Contrapositive symmetry (CPS) is a tautology in classical logic. In fuzzy logic, not all fuzzy implications have CPS with respect to a given strong negation. Given a fuzzy implication J , towards imparting contrapositive symmetry to J with respect to a strong negation N two techniques, viz., upper and lower contrapositivisation, have been proposed by Bandler and Kohout [Semantics of implication...

The notion of fuzzy function based on many-valued equivalence relations (many-valued similarity relations (equalities) [17, 18, 19], fuzzy equivalence relations [4, 6, 7, 21, 22, 26], similarity relations [1, 2, 3, 15, 28], indistinguishability operators [27], etc.) has been introduced by several authors, and applied to category theory [5], approximate reasoning and fuzzy control theory [8, 10,...

Background and aims: Depression disorder is one of the most common diseases, but the diagnosis is widely complicated and controversial because of interventions, overlapping and confusing nature of the disease. So, keeping previous patients’ profile seems effective for diagnosis and treatment of present patients. Use of this memory is latent in synthetic neuro-fuzzy algorithm. P...

The formulation of strong and weak laws of large numbers for fuzzy random variables based on variance is given. The concept of the variance of fuzzy random variables, introduced by K1 orner (Fuzzy Sets and Systems 92 (1997) 83) and by Feng (Fuzzy Sets and Systems 120 (2001) 487) demonstrates its e2ciency. c © 2002 Elsevier Science B.V. All rights reserved.

In this paper we introduce the notion of weak and strong intuitionistic fuzzy (Schauder) basis on an intuitionistic fuzzy n-normed linear space [5] and prove that an intuitionistic fuzzy n-normed linear space having a weak intuitionistic fuzzy basis is separable. Also we discuss approximation property on the same space. Mathematics Subject Classification: 03B20, 03B52, 46A99, 46H25

In this note, by using the concept of Bipolar-valued fuzzy set, the notion of bipolar-valued fuzzy BCK/BCI-algebra is introduced. Moreover, the notions of (strong) negative s-cut (strong) positive t-cut are introduced and the relationship between these notions and crisp subalgebras are studied.

Let G= (V,E,σ,μ) be a simple connected undirected fuzzy graph. In this paper, we use a fuzzy graph model to represent a traffic network of a city and discuss a method to find the different type of accidental zones in a traffic flows. Depending on the possibility of accident, this paper classifies accidental zone of a traffic flow into three type’s namely α-strong, β-strong and δ-strong accident...