Login / Signup

Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic.

James HarlandTatjana LutovacMichael Winikoff
Published in: Computational Logic (2000)
Keyphrases
  • goal directed
  • intuitionistic logic
  • linear logic
  • proof search
  • autonomous robots
  • natural deduction
  • theorem prover
  • classical logic
  • cut elimination
  • machine learning
  • orders of magnitude
  • fixed point
  • sequent calculus