LIPSAT

swMATH28633MaRDI QIDQ40347FDOQ40347

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-94205-6_14

Described by source

• Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic

Cited In (5)

• Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
• Deciding Koopman's qualitative probability
• Rota's Fubini lectures: the first problem
• An efficient algorithm for representing piecewise linear functions into logic
• Quantitative logic reasoning

This page was built for software: LIPSAT