Proof Net Semantics of Proof Search Computation.

Luís Caires Luís Monteiro

Published in: ALP/HOA (1997)

Keyphrases

proof search
theorem prover
linear logic
theorem proving
proof planning
inference rules
search procedure
formal semantics
proof procedure
logical framework
logic programming
sequent calculus
predicate calculus
proof theory
first order logic
natural deduction
desirable properties
cut elimination