Automating Free Logic in Isabelle/HOL.

Christoph Benzmüller Dana S. Scott

Published in: ICMS (2016)

Keyphrases

natural deduction
theorem prover
cut elimination
inference rules
automated reasoning
sequent calculus
higher order logic
theorem proving
linear logic
databases
neural network
website
logic programming
conditional probabilities
logical framework
proof search