The following pages link to (Q4450452):
Displayed 7 items.
- On the complexity of validity degrees in Łukasiewicz logic (Q2106603) (← links)
- Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics (Q2209555) (← links)
- An efficient algorithm for representing piecewise linear functions into logic (Q2229157) (← links)
- Łukasiewicz Games (Q5277898) (← links)
- (Q5389820) (← links)
- Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic (Q5425997) (← links)
- Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability (Q5889305) (← links)