Por favor, use este identificador para citar o enlazar a este item:
http://hdl.handle.net/10261/130428
COMPARTIR / EXPORTAR:
SHARE BASE | |
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE | |
Título: | On possibilistic modal logics defined over MTL-chains |
Autor: | Bou, Felix CSIC; Esteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID | Palabras clave: | Possibitistic Logic Many-valued modal logics Fuzzy logics |
Fecha de publicación: | 2015 | Editor: | Springer Nature | Citación: | Petr Hájek on Mathematical fuzzy logic: 225- 244 (2015) | Resumen: | In this paper we revisit a 1994 paper by Hájek et al. where a modal logic over a finitely-valued Lukasiewicz logic is defined to capture possibilistic reasoning. In this paper we go further in two aspects: first, we generalize the approach in the sense of considering modal logics over an arbitrary finite MTL-chain, and second, we consider a different possibilistic semantics for the necessity and possibility modal operators. The main result is a completeness proof that exploits similar techniques to the ones involved in Hájek et al.’s previous work. | URI: | http://hdl.handle.net/10261/130428 | DOI: | 10.1007/978-3-319-06233-4_11 | Identificadores: | isbn: 978-3-319-06232-7 |
Aparece en las colecciones: | (IIIA) Libros y partes de libros |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
accesoRestringido.pdf | 15,38 kB | Adobe PDF | Visualizar/Abrir |
CORE Recommender
Page view(s)
211
checked on 03-may-2024
Download(s)
105
checked on 03-may-2024
Google ScholarTM
Check
Altmetric
Altmetric
NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.