Zpět na hledáníOn Fuzzy Modal Logics S5(C) (2010)výskyt výsledku
| Identifikační kód | RIV/67985807:_____/10:00333783 |
|---|---|
| Název v anglickém jazyce | On Fuzzy Modal Logics S5(C) |
| Druh | J - Recenzovaný odborný článek (Jimp, Jsc a Jost) |
| Poddruh | - |
| Jazyk | eng - angličtina |
| Obor - skupina | B - Fyzika a matematika |
| Obor | BA - Obecná matematika |
| Rok uplatnění | 2010 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 2 |
| Počet tvůrců celkem | 1 |
| Počet domácích tvůrců | 1 |
| Výčet všech uvedených jednotlivých tvůrců | Petr Hájek (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2624788) |
| Popis výsledku v anglickém jazyce | 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. |
| Klíčová slova oddělená středníkem | mathematical fuzzy logic; modal logic; S5 |
| Stránka www, na které se nachází výsledek | - |
| Odkaz na údaje z výzkumu | - |
Údaje o výsledku v závislosti na druhu výsledku
| Název periodika | Fuzzy Sets and Systems |
|---|---|
| ISSN | 0165-0114 |
| e-ISSN | - |
| Svazek periodika | 161 |
| Číslo periodika v rámci uvedeného svazku | 18 |
| Stát vydavatele periodika | NL - Nizozemsko |
| Počet stran výsledku | 8 |
| Strana od-do | |
| Kód UT WoS článku podle Web of Science | 000281273900005 |
| EID výsledku v databázi Scopus | - |
| Způsob publikování výsledku | - |
| Předpokládaný termín zveřejnění plného textu výsledku | - |
Ostatní informace o výsledku
| Předkladatel | Ústav informatiky AV ČR, v. v. i. |
|---|---|
| Dodavatel | AV0 - Akademie věd České republiky (AV ČR ) |
| Rok sběru | 2011 |
| Specifikace | RIV/67985807:_____/10:00333783!RIV11-AV0-67985807 |
| Datum poslední aktualizace výsledku | 30.05.2011 |
| Kontrolní číslo | 12802280 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
| Dodáno GA ČR v roce 2011 | RIV/67985807:_____/10:00333783 v dodávce dat RIV11-GA0-67985807/01:1 |
|---|
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Výzkumný záměr podporovaný AV ČR | AV0Z10300504 - Informatika pro informační společnost: modely, algoritmy, aplikace (2005 - 2010) |
|---|