Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-13)

Session: Mathematical Fuzzy Logic

7 articles
Proceedings Article

Tomonoid extensions: the key for the construction of t-norms

Thomas Vetterlein
Triangular norms, or t-norms for short, play an important role for the semantics of fuzzy logics. Although an enormous number of examples and a remarkable number of construction methods for this kind of operation has been established, a uniform approach is still outstanding. This paper is devoted to...
Proceedings Article

Exploring Paraconsistency in Degree-Preserving Fuzzy Logics

Rodolfo Ertola, Francesc Esteva, Tommaso Flaminio, Lluis Godo, Carles Noguera
Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. In the last decade, mathematical fuzzy logic has been developed as a discipline studying formal many-valued systems underlying fuzzy logic in narrow sense. In this...
Proceedings Article

About t-norms on type-2 fuzzy sets

Pablo Hernández, Susana Cubillo, Carmen Torres
Walker et al. ([19], [20]) defined two families of binary operations on M (set of functions of [0,1] in [0,1]), and they determined that, under certain conditions, those operations are t-norms (triangular norm) or t-conorms on L (all the normal and convex functions of M). We define binary operations...
Proceedings Article

First-order EQ-logic

Martin Dyba, Vilém Novák
This paper represents the third step in the development of EQ-logics. Namely, after developing propositional and higher-order EQ-logics, we focus also on predicate one. First, we give a brief overview of the propositional EQ-logic and then develop syntax and semantics of predicate EQ-logic. Finally,...
Proceedings Article

Priestley duality for N4-lattices

Ramon Jansana, Umberto Rivieccio
We present a new Priestley-style topological duality for N4-lattices, which are the algebraic counterpart of paraconsistent Nelson logic. Our duality differs from the existing one, due to Odintsov, in that we only rely on Esakia duality for Heyting algebras and not on the duality for De Morgan algebras...
Proceedings Article

The analysis of the generalized square of opposition

Petra Murinová, Vilém Novák
In this paper, we continue development of a formal theory of intermediate quantifiers (linguistic expressions such as ``most'', ``many'', ``few'', ``almost all'', etc.). In previous work, we demonstrated that 105 generalized syllogisms are valid in our theory. We turn our attention to another problem...
Proceedings Article

Compatible operations in some subvarieties of the variety of weak Heyting algebras

Hernán San Martín
Weak Heyting algebras are a natural generalization of Heyting algebras (see [2], [5]). In this work we study some subvarieties of the varieties of weak Heyting algebras in order to extend some known results about compatible functions in Heyting algebras.