Admissible and Derivable Rules in Intuitionistic Logic.

Published in: Math. Struct. Comput. Sci. (1993)

Keyphrases

intuitionistic logic
classical logic
linear logic
natural deduction
proof theoretic
cut elimination
normal form
database
state space
logic programming
dynamical systems
proof theory