Cut-elimination in RM Proved Semantically.

Published in: FLAP (2017)

Keyphrases

cut elimination
sequent calculus
linear logic
natural deduction
wide class
inference rules
proof theoretic
modal logic
sufficient conditions
natural language
linear time temporal logic
knowledge base
fixed point
theorem prover
intuitionistic logic