English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/234588
logo share SHARE logo core CORE   Add this article to your Mendeley library MendeleyBASE

Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE
Exportar a otros formatos:


Axiomatizing logics of fuzzy preferences using graded modalities

AuthorsVidal, Amanda ; Esteva, Francesc ; Godo, Lluis
Issue Date2020
PublisherElsevier BV
CitationFuzzy Sets and Systems 401: 163- 188 (2020)
AbstractThe aim of this paper is to propose a many-valued modal framework to formalize reasoning with both graded preferences and propositions, in the style of van Benthem et al.'s classical modal logics for preferences. To do so, we start from Bou et al.'s minimal modal logic over a finite and linearly ordered residuated lattice. We then define appropriate extensions on a multi-modal language with graded modalities, both for weak and strict preferences, and with truth-constants. Actually, the presence of truth-constants in the language allows us to show that the modal operators □ and ◇ of the minimal modal logic are inter-definable. Finally, we propose an axiomatic system for this logic in an extended language (where the preference modal operators are definable), and prove completeness with respect to the intended graded preference semantics.
Publisher version (URL)http://dx.doi.org/10.1016/j.fss.2020.01.002
Identifiersdoi: 10.1016/j.fss.2020.01.002
issn: 0165-0114
Appears in Collections:(IIIA) Artículos
Files in This Item:
File Description SizeFormat 
Axiomatizing logics of fuzzy preferences using graded modalities.pdf Embargoed until January 21, 2022505,41 kBAdobe PDFThumbnail
View/Open    Request a copy
Show full item record
Review this work

Related articles:

WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.