Počet záznamů: 1
On Fuzzy Modal Logics S5(C)
- 1.
SYSNO ASEP 0333783 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 Fuzzy Modal Logics S5(C) Tvůrce(i) Hájek, Petr (UIVT-O) RID, SAI Zdroj.dok. Fuzzy Sets and Systems. - : Elsevier - ISSN 0165-0114
Roč. 161, č. 18 (2010), s. 2389-2396Poč.str. 8 s. Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova mathematical fuzzy logic ; modal logic ; S5 Vědní obor RIV BA - Obecná matematika CEP GEICC/08/E018 GA ČR - Grantová agentura ČR CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000281273900005 EID SCOPUS 77955663034 DOI 10.1016/j.fss.2009.11.011 Anotace The fuzzy variant S5(C) of the well-known modal logic S5 is studied, C being a recursively axiomatized fuzzy propositional logic extending the basic fuzzy logic BL. Three kinds of Kripke models are introduced and corresponding deductive systems are found. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2011
Počet záznamů: 1