Axiomatizing logics of fuzzy preferences using graded modalities
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F20%3A00522192" target="_blank" >RIV/67985807:_____/20:00522192 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1016/j.fss.2020.01.002" target="_blank" >http://dx.doi.org/10.1016/j.fss.2020.01.002</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.fss.2020.01.002" target="_blank" >10.1016/j.fss.2020.01.002</a>
Alternative languages
Result language
angličtina
Original language name
Axiomatizing logics of fuzzy preferences using graded modalities
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/EF17_050%2F0008361" target="_blank" >EF17_050/0008361: Enhancing human resources for research in theoretical computer science</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2020
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Fuzzy Sets and Systems
ISSN
0165-0114
e-ISSN
—
Volume of the periodical
401
Issue of the periodical within the volume
15 December 2020
Country of publishing house
NL - THE KINGDOM OF THE NETHERLANDS
Number of pages
26
Pages from-to
163-188
UT code for WoS article
000580008600010
EID of the result in the Scopus database
2-s2.0-85078484080