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
—