Login / Signup

A Purely Logical Account of Sequentiality in Proof Search.

Paola Bruscoli
Published in: ICLP (2002)
Keyphrases
  • proof search
  • theorem proving
  • linear logic
  • theorem prover
  • inference rules
  • proof planning
  • proof procedure
  • predicate calculus
  • search procedure
  • logical framework
  • first order logic
  • probabilistic logic
  • search algorithm