Czasopismo
2001
|
Vol. 45, nr 3
|
207-213
Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Warianty tytułu
Języki publikacji
Abstrakty
The satisfiability problem for the logic FP() (fuzzy probability logic over ukasiewicz logic) is shown to be NP-complete; satisfiability in FP(P) (the same over the logic joining ukasiewicz and product logic) is shown to be in PSPACE.
Słowa kluczowe
Czasopismo
Rocznik
Tom
Strony
207-213
Opis fizyczny
bibliogr.8 poz.
Twórcy
autor
autor
- Institute of Computer Science Academy of Sciences of the Czech Republic 18207 Praque, Czech Republic, halek@cs.cas.cz
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS1-0009-0071