LIPSAT

swMATH28633MaRDI QIDQ40347FDOQ40347

Author name not available (Why is that?)

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