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.