Questions and dependency in intuitionistic logic.

Ivano Ciardelli Rosalie Iemhoff Fan Yang

Published in: CoRR (2017)

Keyphrases

intuitionistic logic
linear logic
classical logic
natural deduction
expert systems
artificial intelligence
bayesian networks
probability distribution
sequent calculus
proof theoretic