Pages that link to "Item:Q2209555"
From MaRDI portal
The following pages link to Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics (Q2209555):
Displaying 15 items.
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction (Q352963) (← links)
- The coherence of Łukasiewicz assessments is NP-complete (Q985139) (← links)
- Resolution and model building in the infinite-valued calculus of Łukasiewicz (Q1276262) (← links)
- The complexity of satisfiability in non-iterated and iterated probabilistic logics (Q1783740) (← links)
- Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic (Q1799080) (← links)
- Rota's Fubini lectures: the first problem (Q2020017) (← links)
- An efficient algorithm for representing piecewise linear functions into logic (Q2229157) (← links)
- On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events (Q2237146) (← links)
- Deciding Koopman's qualitative probability (Q2238703) (← links)
- New complexity results for Łukasiewicz logic (Q2317509) (← links)
- Computational complexity of infinite-valued Łukasiewicz propositional logic (Q2784792) (← links)
- On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events (Q3006596) (← links)
- Faithful and Invariant Conditional Probability in Łukasiewicz Logic (Q3600570) (← links)
- Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability (Q5889305) (← links)
- An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic (Q6163912) (← links)
