This paper reveals the analytical structure of a fuzzy twoterm (PI/PD) controller which employs N1 (≥3) number of symmetric fuzzy sets for the input variable ‘displacement’, N2 (≥3) number of symmetric fuzzy sets for the input variable ‘velocity’ and N1+N2-1 number of symmetric fuzzy sets for the output variable ‘controller output’. The analytical structures are derived via triangular membershi...

Lipschitzian aggregation operators with respect to the natural T indistinguishability operator ET and their powers, and with respect to the residuation → T with respect to a t-norm T and its powers are studied. A t-norm T is proved to be ET -Lipschitzian and → T -Lipschitzian, and is interpreted as a fuzzy point and a fuzzy map as well. Given an Archimedean t-norm T with additive generator t, t...

Sometime in modeling applied problems there may be a degree of uncertainty in the parameters used in the model or some measurements may be imprecise. Due to such features, we are tempted to consider the study of functional equations in the fuzzy setting. The notion of fuzzy sets was first introduced by Zadeh [31] in 1965 which is a powerful hand set for modeling uncertainty and vagueness in var...

In this paper, we propose a variational multiphase image segmentation model based on fuzzy membership functions and L1-norm fidelity. Then we apply the alternating direction method of multipliers to solve an equivalent problem. All the subproblems can be solved efficiently. Specifically, we propose a fast method to calculate the fuzzy median. Experimental results and comparisons show that the L...

This paper deals with the joint verification of the inequalities of Modus Ponens and Modus Tollens in Fuzzy Logic. Although the case of Modus Ponens was partially considered before, the case of Modus Tollens and the joint satisfaction of both inequalities are studied by the first time. The cases of R-implications, Simplications, Q-implications and MamdaniLarsen implications are separatedly cons...

In this paper we prove the strong standard completeness of interval-valued monoidal t-norm based logic (IVMTL) and some of its extensions. For other extensions we show that they are not strong standard complete. We also give a local deduction theorem for IVMTL and other extensions of interval-valued monoidal logic. Similar results are obtained for interval-valued fuzzy logics expanded with Baaz...

The notion of feasibility, applicable in various areas related to logic, is arguably of gradual nature—some tasks are more feasible than others. The possibility of modeling a gradual notion of feasibility in t-norm logics is brought forward and illustrated on the gradual notions of feasible number, feasible knowledge, feasible formula, and feasible computability.

Aggregation processes are fundamental in any discipline where the fusion of information is of vital interest. For aggregating binary fuzzy relations such as equivalence relations or fuzzy orderings, the question arises which aggregation operators preserve specific properties of the underlying relations, e.g. T -transitivity. It will be shown that preservation of T -transitivity is closely relat...

In this paper we generalize the well known construction of ”classic” measure theory to the fuzzy case. We consider such T-norm based classes of fuzzy sets as T-semirings and T-tribes (T sigmaalgebras), such fuzzy valued functions as elementary T-measures, exterior T-measures and T-measures, and we suggest the construction of a TM-measure by extension of an elementary TM-measure on a TM-semiring...