On the Non-falsity and Threshold Preserving Variants of MTL Logics
In this paper we study the definition and axiomatisation of non-falsity preserving and threshold preserving companions of several extensions of the Monoidal t-norm based fuzzy logic MTL. More in detail, we first extend some recent preliminary results on non-falsity preserving logics, and then we pre...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión aceptada para publicación |
| Fecha de publicación: | 2025 |
| País: | España |
| Institución: | Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya) |
| Repositorio: | Recercat. Dipósit de la Recerca de Catalunya |
| OAI Identifier: | oai:recercat.cat:2445/225278 |
| Acceso en línea: | https://hdl.handle.net/2445/225278 |
| Access Level: | acceso embargado |
| Palabra clave: | Lògica algebraica Lògica difusa Algebraic logic Fuzzy logic |
| Sumario: | In this paper we study the definition and axiomatisation of non-falsity preserving and threshold preserving companions of several extensions of the Monoidal t-norm based fuzzy logic MTL. More in detail, we first extend some recent preliminary results on non-falsity preserving logics, and then we present a new study on threshold-preserving companions of the main three fuzzy logics, Łukasiewicz, Product and Gödel logics. |
|---|