Login / Signup
Improving legibility of natural deduction proofs is not trivial.
Karol Pak
Published in:
Log. Methods Comput. Sci. (2014)
Keyphrases
</>
natural deduction
theorem prover
inference rules
cut elimination
theorem proving
sequent calculus
intuitionistic logic
automated reasoning
computer algebra
machine learning
linear time temporal logic