Uniqueness of Normal Proofs in Implicational Intuitionistic Logic.

Published in: J. Log. Lang. Inf. (1999)

Keyphrases

expert systems
intuitionistic logic
natural deduction
cut elimination
theorem prover
linear logic
classical logic
inference rules
sequent calculus
theorem proving
sufficient conditions
knowledge base
database
proof search
logic programming
normal form
modal logic
probabilistic reasoning
probability distribution