On modal extensions of Product fuzzy logic
In this article, we study modal extensions of Product fuzzy logic with both algebraic semantics and relational semantics based on Kripke structures with crisp accessibility relations, when the underlying product fuzzy logic is expanded with truth-constants, the Δ operator and with two infinitary inf...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión aceptada para publicación |
| Fecha de publicación: | 2017 |
| País: | España |
| Institución: | Consejo Superior de Investigaciones Científicas (CSIC) |
| Repositorio: | DIGITAL.CSIC. Repositorio Institucional del CSIC |
| OAI Identifier: | oai:digital.csic.es:10261/155299 |
| Acceso en línea: | http://hdl.handle.net/10261/155299 |
| Access Level: | acceso abierto |
| Palabra clave: | Strong standard completeness Rational truth-constants Infinitary rules Modal fuzzy logics Product fuzzy logic |
| Sumario: | In this article, we study modal extensions of Product fuzzy logic with both algebraic semantics and relational semantics based on Kripke structures with crisp accessibility relations, when the underlying product fuzzy logic is expanded with truth-constants, the Δ operator and with two infinitary inference rules. We provide completeness results for both kinds of semantics. Finally, we also consider a generalization of possibilistic logic evaluated over product algebras. © The Author, 2015. Published by Oxford University Press. All rights reserved. |
|---|