Assertion: logic | /r/CapableOf | involve product
Facets:
Source sentences:
text: Polynomial weight formulas: Logics with polynomial weight formulas (involving both weighted sums and products of probability terms), can allow for formulas of the form \(P(\phi)P(\psi)-P(\phi\wedge \psi)