Welcome Guest!

Quick Find:  

Advanced Search

Languages: English Español

Valid XHTML 1.0 Transitional ¡CSS Válido! Icono de conformidad con el Nivel Doble-A, 
	de las Directrices de Accesibilidad para el 
	Contenido Web 1.0 del W3C-WAI

Functional Definability Issues in Logics Based on Triangular Norms

Functional Definability Issues in Logics Based on Triangular Norms
Functional Definability Issues in Logics Based on Triangular Norms

Enrico Marchioni

Affiliation: Universitat Oberta de Catalunya. Departamento de Ciencias de la Información y la Comunicación (Barcelona, España)

Biography: Not available

Close window

Enrico Marchioni

About the authors 

Publication year: 2007

Language: English

Subjects: Science and Technology

Collection: Monografies de l'Institut d'Investigació en Intel-ligencia Artificial

Free eBook


The last decade has seen a tremendous development in infinitely valued logics which take the real unit interval as the basic set of truth values. This set is usually endowed with an algebraic structure of residuated lattice defined by a commutative semigroup operation –particularly a (left) continuous t-norm– together with its residuum, which are interpreted as a non-idempotent conjunction and implication operations respectively. These logics, commonly referred to as t-norm based fuzzy logics, are at the core of a new emerging discipline which is named mathematical fuzzy logic, after Petr Hájek. Since continuous t-norms are ordinal sums of isomorphic copies of the Lukasiewicz t-norm, the Product t-norm and the minimum operation, the traditional infinitely valued Lukasiewicz and Gödel logics, together with the Product logic, form the core examples for such mathematical fuzzy logics. One stream of the development in mathematical fuzzy logic is towards enhancing the expressive power of these logics by adding new connectives. Of particular interest are the systems obtained from the addition of an independent involutive negation or by considering a combination of the Lukasiewicz and Product systems, which results in a conservative extension of both systems, and that, additionally, has the Gödel logic as a subsystem. Both topics (among others) are addressed by the author of this monograph, which is based on his Ph.D. dissertation.

Table of Contents Table of Contents (0.12 Mb)

Preview Preview (0.25 Mb)

Bibliographic information

Physical Description : XX, 178 p. : gráf. ; 24 cm

ISBN: 978-84-00-08570-4

Publication: Bellaterra (España) : Consejo Superior de Investigaciones Científicas, 2007

Other data: Thesis

Buy the digital edition at

This eBook is available for free download

Free Downloads

Download eBook Download eBook (20.32 Mb)

This book was added to our online catalog on Thursday 30 April, 2015.