The subformula property of natural deduction derivations and analytic cuts.

Mirjana Borisavljevic

Published in: Log. J. IGPL (2021)

Keyphrases

natural deduction
inference rules
proof procedures
theorem prover
theorem proving
sequent calculus
cut elimination
intuitionistic logic
modal logic
linear logic
proof procedure
logical framework
linear time temporal logic
knowledge base
constraint satisfaction problems
object oriented
natural language