Complexity of Some Language Fragments of Fuzzy Logics
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F17%3A00466762" target="_blank" >RIV/67985807:_____/17:00466762 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/s00500-016-2346-0" target="_blank" >http://dx.doi.org/10.1007/s00500-016-2346-0</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s00500-016-2346-0" target="_blank" >10.1007/s00500-016-2346-0</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Complexity of Some Language Fragments of Fuzzy Logics
Popis výsledku v původním jazyce
Computational complexity of the semigroup fragment (of the algebraic semantics) and the implicational fragment of some fuzzy logics is studied, from the perspective of the complexity of the full logic. The available results appear to confirm the key role of the implicational fragments. Some other language fragments, as well as the notion of language fragment itself, are discussed
Název v anglickém jazyce
Complexity of Some Language Fragments of Fuzzy Logics
Popis výsledku anglicky
Computational complexity of the semigroup fragment (of the algebraic semantics) and the implicational fragment of some fuzzy logics is studied, from the perspective of the complexity of the full logic. The available results appear to confirm the key role of the implicational fragments. Some other language fragments, as well as the notion of language fragment itself, are discussed
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Návaznosti výsledku
Projekt
<a href="/cs/project/GAP202%2F11%2F1632" target="_blank" >GAP202/11/1632: Algebraické metody v teorii důkazů</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2017
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Soft Computing
ISSN
1432-7643
e-ISSN
—
Svazek periodika
21
Číslo periodika v rámci svazku
1
Stát vydavatele periodika
DE - Spolková republika Německo
Počet stran výsledku
9
Strana od-do
69-77
Kód UT WoS článku
000392065600008
EID výsledku v databázi Scopus
2-s2.0-84990922516