Hyperdoctrines, Natural Deduction and the Beck Condition.

Robert A. G. Seely

Published in: Math. Log. Q. (1983)

Keyphrases

natural deduction
theorem prover
inference rules
sufficient conditions
theorem proving
cut elimination
sequent calculus
intuitionistic logic
linear time temporal logic
active learning
machine learning
bayesian networks
natural language
answer set programming