Number of the records: 1  

Axiomatizing logics of fuzzy preferences using graded modalities

  1. 1.
    0522192 - ÚI 2021 RIV NL eng J - Journal Article
    Vidal, Amanda - Esteva, F. - Godo, L.
    Axiomatizing logics of fuzzy preferences using graded modalities.
    Fuzzy Sets and Systems. Roč. 401, 15 December 2020 (2020), s. 163-188. ISSN 0165-0114. E-ISSN 1872-6801
    R&D Projects: GA MŠMT(CZ) EF17_050/0008361
    Institutional support: RVO:67985807
    Keywords : many-valued logic * graded preference * modal logic * vague information modeling
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impact factor: 3.343, year: 2020
    Method of publishing: Limited access
    http://dx.doi.org/10.1016/j.fss.2020.01.002

    The 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.
    Permanent Link: http://hdl.handle.net/11104/0306692

     
     
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.