Proof search in Hájek's basic logic.

Simone Bova Franco Montagna

Published in: ACM Trans. Comput. Log. (2008)

Keyphrases

proof search
linear logic
theorem prover
theorem proving
inference rules
proof planning
search procedure
proof procedure
sequent calculus
cut elimination
automated reasoning
neural network
first order logic
constraint satisfaction
intuitionistic logic