Consistency of Heyting arithmetic in natural deduction.

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

Keyphrases

natural deduction
inference rules
theorem prover
theorem proving
intuitionistic logic
sequent calculus
cut elimination
modal logic
global constraints
set theory
linear logic
bayesian networks
fuzzy logic
arithmetic operations
linear time temporal logic