Probabilistic semantics for intuitionistic logic.

Hugues Leblanc Charles G. Morgan

Published in: Notre Dame J. Formal Log. (1983)

Keyphrases

intuitionistic logic
classical logic
linear logic
proof theoretic
logic programming
proof theory
normal form
probabilistic model
model theoretic
natural deduction
sequent calculus
belief networks
probabilistic logic
logical framework
cut elimination