Počet záznamů: 1
On transitive modal many-valued logics
- 1.
SYSNO ASEP 0522276 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název On transitive modal many-valued logics Tvůrce(i) Vidal, Amanda (UIVT-O) RID, SAI, ORCID Zdroj.dok. Fuzzy Sets and Systems. - : Elsevier - ISSN 0165-0114
Roč. 407, 1 March (2021), s. 97-114Poč.str. 18 s. Forma vydání Tištěná - P Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova non-classical logics ; computability ; modal logics Vědní obor RIV BA - Obecná matematika Obor OECD Pure mathematics CEP GA17-04630S GA ČR - Grantová agentura ČR EF17_050/0008361 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy Způsob publikování Omezený přístup Institucionální podpora UIVT-O - RVO:67985807 UT WOS 000610029500005 EID SCOPUS 85078828076 DOI 10.1016/j.fss.2020.01.011 Anotace This paper is focused on the study of modal logics defined from valued Kripke frames, and particularly, on computability and expressivity questions of modal logics of transitive Kripke frames evaluated over certain residuated lattices. It is shown that a large family of those logics -including the ones arising from the standard MV and Product algebras- yields an undecidable consequence relation. Later on, the behavior of transitive modal Łukasiewicz logic is compared with that of its non-transitive counterpart, exhibiting some particulars concerning computability and equivalence with other logics. We conclude the article by showing the undecidability of the validity and the local SAT questions over transitive models when the Delta operation is added to the logic. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2022 Elektronická adresa http://dx.doi.org/10.1016/j.fss.2020.01.011
Počet záznamů: 1