Transitivity in coherence-based probability logic.
Angelo GilioNiki PfeiferGiuseppe SanfilippoPublished in: J. Appl. Log. (2016)
Keyphrases
- probability theory
- probability distribution
- quantum computation
- logic programming
- conditional probabilities
- asynchronous circuits
- multi valued
- deontic logic
- databases
- classical logic
- highest probability
- proof theory
- formal theory
- predicate logic
- digital circuits
- nonmonotonic logics
- computational properties
- probabilistic logic
- nonmonotonic reasoning
- modal logic
- posterior probability
- website