Embedding First Order Predicate Logic in Fragments of Intuitionistic Logic.

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

Keyphrases

intuitionistic logic
classical logic
linear logic
theorem proving
natural deduction
vector space
logic programming
normal form
proof theoretic
artificial intelligence
web services
general purpose
fixed point
probabilistic reasoning