Proof Nets and the Linear Substitution Calculus.

Beniamino Accattoli

Published in: ICTAC (2018)

Keyphrases

automated theorem proving
natural deduction
theorem proving
data mining
sequent calculus
neural network
learning algorithm
search engine
computer vision
knowledge base
case study
theorem prover
linear systems
linear logic
automated deduction
proof search