O aritmetické složitosti fragmentů prominentních fuzzy logik
Popis výsledku
Článek studuje predikátové logiky obsahující základní fuzzy predikátovou logiku BL/forall (mezi mini Luasiewiczovu, Gödelovu a produktovou logiku. Dokazuje se, ze aritmetická složitost množinu tautologií jejich fragmentů daných spojkami implikace a negace (tj. neobsahujících silnou konjunkci jako primitivní spojku) je táž jako složitost této množiny pro celou logiku. Podobně při splnitelnost (s jistým technickým detailem
Klíčová slova
mathematical fuzzy logicpredicate logicarithmetical complexity
Identifikátory výsledku
Kód výsledku v IS VaVaI
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
Jx - 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
IAA100300503: Matematické základy inference a rozhodování za nejistoty
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
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
—
Základní informace
Druh výsledku
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP
BA - Obecná matematika
Rok uplatnění
2008