Natural Deduction System in the TIL-Script Language.

Marie Duzí Marek Mensík Miroslav Pajr Vojtech Patschka

Published in: EJC (2018)

Keyphrases

natural deduction
script language
inference rules
theorem prover
software platform
cut elimination
topic maps
sequent calculus
theorem proving
intuitionistic logic
linear logic
linear time temporal logic