Complexity of Fuzzy Probability Logics

  • Authors:
  • Petr Hájek;Sauro Tulipani

  • Affiliations:
  • -;-

  • Venue:
  • Fundamenta Informaticae
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

The satisfiability problem for the logic FP(Ł) (fuzzy probability logic over Łukasiewicz logic) is shown to be NP-complete; satisfiability in FP(ŁΠ) (the same over the logic joining Łukasiewicz and product logic) is shown to be in PSPACE.