Proof-Search in Hilbert Calculi.

Mauro Ferrari Camillo Fiorentini Guido Fiorino

Published in: ICTCS/CILC (2017)

Keyphrases

proof search
theorem prover
theorem proving
inference rules
linear logic
proof planning
search procedure
proof procedure
sequent calculus
first order logic
bayesian networks
search algorithm
evolutionary algorithm
object oriented
decision procedures