A completeness proof for adapted probability logic.
H. Jerome KeislerPublished in: Ann. Pure Appl. Log. (1986)
Keyphrases
- proof theory
- probability theory
- natural deduction
- linear logic
- proof theoretic
- quantum computation
- automated theorem proving
- proof search
- theorem proving
- higher order logic
- logical rules
- probability distribution
- theorem prover
- multi valued
- classical logic
- proof procedure
- sound and complete axiomatization
- data sets
- logical framework
- automated reasoning
- posterior probability
- conditional probabilities
- data quality
- sequent calculus
- logic programming
- bayesian networks
- cut elimination
- decision trees
- knowledge base
- artificial intelligence
- complete axiomatization
- real time