Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2015, Director: Joan Gispert Bras
Fuzzy logic is a logic that studies the vague reasoning. In this work we introduce fuzzy logic and we develop it as multivalued logic. We choose to build semantically and syntactically the MTL logic, the most basic of fuzzy logics, and prove the most important completeness theorems.