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”

O aritmetické složitosti fragmentů prominentních fuzzy logik

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F08%3A00083483" target="_blank" >RIV/67985807:_____/08:00083483 - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    On Arithmetical Complexity of Fragments of Prominent Fuzzy Predicate Logics

  • Popis výsledku v původním jazyce

    The paper investigates predicate logics containing the basic fuzzy logic BL$/forall$ (among them Lukasiewicz logic, Göodel logic and product logic). We shall show that the arithmetical complexity of the set of standard/general tautologies of their fragments given by the connectives implication and negation (thus not containing the strong conjunction as primitive connective) is the same as the complexity of this set for the whole logic. Similarly for satisfiability with a small complication(with some technical detail).

  • Název v anglickém jazyce

    On Arithmetical Complexity of Fragments of Prominent Fuzzy Predicate Logics

  • Popis výsledku anglicky

    The paper investigates predicate logics containing the basic fuzzy logic BL$/forall$ (among them Lukasiewicz logic, Göodel logic and product logic). We shall show that the arithmetical complexity of the set of standard/general tautologies of their fragments given by the connectives implication and negation (thus not containing the strong conjunction as primitive connective) is the same as the complexity of this set for the whole logic. Similarly for satisfiability with a small complication(with some technical detail).

Klasifikace

  • Druh

    J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

  • CEP obor

    BA - Obecná matematika

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

    <a href="/cs/project/IAA100300503" target="_blank" >IAA100300503: Matematické základy inference a rozhodování za nejistoty</a><br>

  • Návaznosti

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Ostatní

  • Rok uplatnění

    2008

  • 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

    12

  • Číslo periodika v rámci svazku

    4

  • Stát vydavatele periodika

    DE - Spolková republika Německo

  • Počet stran výsledku

    6

  • Strana od-do

    335-340

  • Kód UT WoS článku

  • EID výsledku v databázi Scopus