Login / Signup
The Naturality of Natural Deduction.
Luca Tranchini
Paolo Pistone
Mattia Petrolo
Published in:
Stud Logica (2019)
Keyphrases
</>
natural deduction
theorem prover
inference rules
cut elimination
theorem proving
sequent calculus
linear logic
linear time temporal logic
intuitionistic logic
high level
learning algorithm
sufficient conditions