Login / Signup
The naturality of natural deduction (II). Some remarks on atomic polymorphism.
Paolo Pistone
Luca Tranchini
Mattia Petrolo
Published in:
CoRR (2019)
Keyphrases
</>
natural deduction
theorem prover
inference rules
cut elimination
intuitionistic logic
sequent calculus
theorem proving
linear time temporal logic
neural network
linear logic