Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System.

Fabio Aurelio D'Asaro Giuseppe Primiero

Published in: CoRR (2022)

Keyphrases

natural deduction
theorem prover
inference rules
higher order
sequent calculus
bayesian networks
uncertain data
probabilistic model
cut elimination
intuitionistic logic
artificial intelligence
generative model
theorem proving
probability theory
conditional probabilities
linear logic