Počet záznamů: 1
From Kripke to Neighborhood Semantics for Modal Fuzzy Logics
- 1.
SYSNO ASEP 0460686 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název From Kripke to Neighborhood Semantics for Modal Fuzzy Logics Tvůrce(i) Cintula, Petr (UIVT-O) RID, ORCID, SAI
Noguera, Carles (UTIA-B) RID, ORCID
Roger, J. (CH)Zdroj.dok. Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2. - Cham : Springer, 2016 / Carvalho J.P. ; Lesot M.-J. ; Kaymak U. ; Vieira S. ; Bouchon-Meunier B. ; Yager R.R. - ISSN 1865-0929 - ISBN 978-3-319-40581-0 Rozsah stran s. 95-107 Poč.str. 13 s. Forma vydání Tištěná - P Akce IPMU 2016 /16./ Datum konání 20.06.2016-24.06.2016 Místo konání Eindhoven Země NL - Nizozemsko Typ akce WRD Jazyk dok. eng - angličtina Země vyd. CH - Švýcarsko Klíč. slova mathematical fuzzy logic ; modal fuzzy logics ; neighborhood frames ; Kripke semantics ; many-valued logics Vědní obor RIV BA - Obecná matematika CEP GF15-34650L GA ČR - Grantová agentura ČR Institucionální podpora UIVT-O - RVO:67985807 ; UTIA-B - RVO:67985556 UT WOS 000387430000009 EID SCOPUS 84977159867 DOI 10.1007/978-3-319-40581-0_9 Anotace The majority of works on modal fuzzy logics consider Kripke-style possible worlds semantics as the principal semantics despite its well known axiomatizability issues when considering fuzzy accessibility relations. The present work offers the first (two) steps towards exploring a more general semantical picture, namely a fuzzified version of the classical neighborhood semantics. First we prove the fuzzy version of the classical relationship between Kripke and neighborhood semantics. Second, for any axiomatic extension of MTL (one of the main fuzzy logics), we define its modal expansion by a box-like modality, and, in the presence of some additional conditions, we prove that the resulting logic can be axiomatized by adding the E-rule to the corresponding Hilbert-style calculus of the starting logic. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2017
Počet záznamů: 1