dc.contributor.author
Esteva Massaguer, Francesc
dc.contributor.author
Gispert Brasó, Joan
dc.contributor.author
Godo i Lacasa, Lluís
dc.date.accessioned
2026-01-27T04:58:50Z
dc.date.available
2026-01-27T04:58:50Z
dc.date.issued
2026-01-26T10:13:21Z
dc.date.issued
2025-05-01
dc.date.issued
2026-01-26T10:13:22Z
dc.date.issued
info:eu-repo/date/embargoEnd/2026-04-30
dc.identifier
https://hdl.handle.net/2445/226127
dc.identifier.uri
http://hdl.handle.net/2445/226127
dc.description.abstract
<p>It is known that most systems of fuzzy logic trivialise in the</p><p>presence of contradictory information of the type {φ, ¬φ}, since with the</p><p>standard truth-preserving [0, 1]-valued semantics, there is no evaluation</p><p>assigning truth-degree 1 to both φ and ¬φ. In this paper we consider</p><p>an alternative semantics for some well-known fuzzy logics with an involutive</p><p>negation (definable or primitive), where an evaluation validates a</p><p>formula as soon as it gets a non-zero truth-value. This is a paraconsistent</p><p>semantics, since both φ and ¬φ can simultaneously be evaluated with a</p><p>positive truth-degree without trivialising the reasoning, and it has been</p><p>called non-falsity preserving semantics by Avron. In this paper we study</p><p>the properties of this semantics and axiomatise it for the case of several</p><p>systems of fuzzy logic, among them Lukasiewicz, Nilpotent minimum and</p><p>G¨odel with involution logics.</p>
dc.format
application/pdf
dc.publisher
Springer Nature
dc.relation
Versió postprint del document publicat a: https://doi.org/10.1007/978-3-031-74000-8_31
dc.relation
Lecture Notes in Networks and Systems, 2025, vol. 1175 LNNS, p. 378-389
dc.relation
https://doi.org/10.1007/978-3-031-74000-8_31
dc.rights
(c) Springer Nature, 2025
dc.rights
info:eu-repo/semantics/embargoedAccess
dc.subject
Lògica matemàtica
dc.subject
Mathematical logic
dc.title
On the Paraconsistent Companions of Involutive Fuzzy Logics that Preserve Non-falsity
dc.type
info:eu-repo/semantics/acceptedVersion
