Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

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