Implicational Formulas in Intuitionistic Logic.

Alasdair Urquhart

Published in: J. Symb. Log. (1974)

Keyphrases

intuitionistic logic
classical logic
linear logic
natural deduction
proof theoretic
normal form
artificial intelligence
proof theory
high level
logic programming
bayesian networks