Related papers: ($S$,$N$,$T$)-Implications
Intuitionistic Fuzzy derivative, Intuitionistic Fuzzy Gateaux derivative, Intuitionistic Fuzzy Fr\'{e}chet derivative are defined and a few of their properties are studied. The relation between Intuitionistic Fuzzy Gateaux derivative and…
We introduce trace definability, a weak notion of interpretability, and trace equivalence, a weak notion of equivalence for first order structures and theories. In particular we get an interesting weak equivalence notion for $\mathrm{NIP}$…
This paper develops a category-theoretic approach to uncertainty, informativeness and decision-making problems. It is based on appropriate first order fuzzy logic in which not only logical connectives but also quantifiers have fuzzy…
This paper mainly focuses on (1) a generalized treatment of fuzzy sets of type $n$, where $n$ is an integer larger than or equal to $1$, with an example, mathematical discussions, and real-life interpretation of the given mathematical…
n-Dimensional fuzzy sets is a fuzzy set extension where the membership values are n-tuples of real numbers in the unit interval [0,1] orderly increased, called n-dimensional intervals. The set of n-dimensional intervals is denoted by…
Active Learning Method (ALM) is a soft computing method used for modeling and control based on fuzzy logic. All operators defined for fuzzy sets must serve as either fuzzy S-norm or fuzzy T-norm. Despite being a powerful modeling method,…
In classical logic, "P implies Q" is equivalent to "not-P or Q". It is well known that the equivalence is problematic. Actually, from "P implies Q", "not-P or Q" can be inferred ("Implication-to-Disjunction" is valid), whereas from "not-P…
Bipolar fuzzy relation equations arise as a generalization of fuzzy relation equations considering unknown variables together with their logical connective negations. The occurrence of a variable and the occurrence of its negation…
In this paper, We have introduced a new class of sequences of fuzzy numbers defined by using modulus function and generalized weighted mean over the class defined in \cite{OS}. We have proved that this class form a quasilinear complete…
We present a brief introduction to a class of interactive fuzzy numbers, called $f$-correlated fuzzy numbers, which consist of pairs of fuzzy numbers where one is dependent on the other by a continuous monotone injective function. We have…
In logic programming, negation can be interpreted in various ways. Probably best known is the concept of "negation as failure", where "$\mathit{not}\, p$" is true if we have no evidence for $p$. On the other hand, strong negation requires…
We define statistical Ces\`{a}ro and statistical logarithmic summability methods of sequences in intuitionistic fuzzy normed spaces($IFNS$) and give slowly oscillating type and Hardy type Tauberian conditions under which statistical…
We introduce the concept of quasi-coincidence of a fuzzy interval value with an interval valued fuzzy set. By using this new idea, we introduce the notions of interval valued $(\in,\ivq)$-fuzzy filters of pseudo $BL$-algebras and…
Linear representations for a subclass of boolean symmetric functions selected by a parity condition are shown to constitute a generalization of the linear constraints on probabilities introduced by Boole. These linear constraints are…
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…
We formulate and prove logical characterizations of crisp simulations and crisp directed simulations between fuzzy labeled transition systems with respect to fuzzy modal logics that use a general t-norm-based semantics. The considered…
We study the semantics of fuzzy if-then rules called fuzzy attribute implications parameterized by systems of isotone Galois connections. The rules express dependencies between fuzzy attributes in object-attribute incidence data. The…
The theory of fuzzy semigroups is a branch of mathematics that arose in early 90's as an effort to characterize properties of semigroups by the properties of their fuzzy subsystems which include, fuzzy subsemigroups and their alike, fuzzy…
This paper extends implication-space semantics to include first-order quantification. Implication-space semantics has recently been introduced as an inferentialist formal semantics that can capture nonmonotonic and nontransitive material…
Fuzziness and randomicity widespread exist in natural science, engineering, technology and social science. The purpose of this paper is to present a new logic - uncertain propositional logic which can deal with both fuzziness by taking…