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.

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 ...

This paper expresses the prominent futures of fuzzy expert system by applying the algorithm T Fuzzy Assessment Methodology. Fuzzy expert system consists of the following elements such as fuzzification interface, T Fuzzy Assessment Methodology, and defuzzification. T Fuzzy Assessment Methodology uses the K Ratio to find overlapping between membership function and T Fuzzy similarity measure the s...

In this paper we show that a nite algebra A is Hamiltonian if the class HS(A A) consists of Abelian algebras. As a consequence, we conclude that a locally nite variety is Abelian if and only if it is Hamilto-nian. Furthermore it is proved that A generates an Abelian variety if and only if A A 3 is Hamiltonian. An algebra is Hamiltonian if every nonempty subuniverse is a block of some congruence...

Based on the falling shadow theory, the concept of falling fuzzy (implicative) ideals as a generalization of that of a T ∧-fuzzy (implicative) ideal is proposed in MV-algebras. The relationships between falling fuzzy (implicative) ideals and T-fuzzy (implicative) ideals are discussed, and conditions for a falling fuzzy (implicative) ideal to be a T ∧-fuzzy (implicative) ideal are provided. Some...

The concept of fuzzy multiply positive BCC-ideals of BCC-algebras is introduced, and then some related results are obtained. Moreover, we introduce the concept of T -fuzzy multiply positive implicative BCC-ideals of BCC-algebras and investigate T -product of T -fuzzy multiply positive implicative BCC-ideals of BCC-algebras, examining its properties. Using a t-norm T , the direct product and T -...

Fuzzy subgroups and T -vague groups are interesting fuzzy algebraic structures that have been widely studied. While fuzzy subgroups fuzzify the concept of crisp subgroup, T -vague groups can be identified with quotient groups of a group by a normal fuzzy subgroup and there is a close relation between both structures and T -indistinguishability operators (fuzzy equivalence relations). In this pa...

Keywords: Fuzzy variable Independence Operation t-norm Convergence Law of large numbers a b s t r a c t T-independence of fuzzy variables is a more general concept than the classical independence. The objective of this study is to deal with some new properties of T-independent fuzzy variables. First of all, for any general t-norm, some criteria of T-independence are discussed for fuzzy variable...