Cut-Elimination Theorem for the Logic of Constant Domains.

Tatsuya Shimura Ryo Kashima

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

Keyphrases

cut elimination
intuitionistic logic
sequent calculus
linear logic
natural deduction
wide class
proof theoretic
sequent calculi
inference rules
sufficient conditions
classical logic
modal logic
proof search
linear time temporal logic
theorem prover
fixed point
logic programming
knowledge representation