Labelled Connection-based Proof Search for Multiplicative Intuitionistic.

Didier Galmiche Daniel Méry

Published in: ARQNL@IJCAR (2018)

Keyphrases

linear logic
proof search
theorem prover
proof planning
sequent calculus
cut elimination
fixed point
logic programming
desirable properties
logical framework
inference rules
theorem proving
automated reasoning
natural deduction
neural network
genetic algorithm