On Arithmetical Complexity of Fragments of Prominent Fuzzy Predicate Logics
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
On Arithmetical Complexity of Fragments of Prominent Fuzzy Predicate Logics
Original language description
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).
Czech name
O aritmetické složitosti fragmentů prominentních fuzzy logik
Czech description
Č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
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/IAA100300503" target="_blank" >IAA100300503: Mathematical foundation of inference and decision under uncertainty</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Soft Computing
ISSN
1432-7643
e-ISSN
—
Volume of the periodical
12
Issue of the periodical within the volume
4
Country of publishing house
DE - GERMANY
Number of pages
6
Pages from-to
335-340
UT code for WoS article
—
EID of the result in the Scopus database
—