Fitxers
Tipus de document
AltresVersió
Versió acceptadaData de publicació
Tots els drets reservats
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/226127
On the Paraconsistent Companions of Involutive Fuzzy Logics that Preserve Non-falsity
Títol de la revista
Director/Tutor
Contribució addicional
ISSN de la revista
Títol del volum
Resum
It is known that most systems of fuzzy logic trivialise in the presence of contradictory information of the type {φ, ¬φ}, since with the standard truth-preserving [0, 1]-valued semantics, there is no evaluation assigning truth-degree 1 to both φ and ¬φ. In this paper we consider an alternative semantics for some well-known fuzzy logics with an involutive negation (definable or primitive), where an evaluation validates a formula as soon as it gets a non-zero truth-value. This is a paraconsistent semantics, since both φ and ¬φ can simultaneously be evaluated with a positive truth-degree without trivialising the reasoning, and it has been called non-falsity preserving semantics by Avron. In this paper we study the properties of this semantics and axiomatise it for the case of several systems of fuzzy logic, among them Lukasiewicz, Nilpotent minimum and Gödel with involution logics.
Recurs relacionat
Matèries
Matèries (anglès)
Citació
Citació
ESTEVA MASSAGUER, Francesc, GISPERT BRASÓ, Joan and GODO I LACASA, Lluís. On the Paraconsistent Companions of Involutive Fuzzy Logics that Preserve Non-falsity. Lecture Notes in Networks and Systems. 2025. Vol. 1175 LNNS, num. 378-389. ISSN 2367-3370. [consulted: 4 of November of 2026]. Available at: https://hdl.handle.net/2445/226127