Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
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
Wydawca
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
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS1-0009-0071