The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logic.
Ross HornePublished in: FSCD (2019)
Keyphrases
- proof theoretic
- linear logic
- proof theory
- cut elimination
- intuitionistic logic
- default reasoning
- fixed point
- automated reasoning
- desirable properties
- probabilistic reasoning
- logic programming
- probabilistic model
- model theoretic
- nonmonotonic reasoning
- logical framework
- sequent calculus
- bayesian networks
- constraint logic programming
- inference rules
- artificial intelligence
- description logics