Login / Signup

lolliCop - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic.

Joshua S. HodasNaoyuki Tamura
Published in: IJCAR (2001)
Keyphrases
  • theorem prover
  • first order logic
  • classical logic
  • pairwise
  • natural deduction
  • machine learning
  • artificial intelligence
  • higher order
  • theorem proving
  • linear logic
  • intuitionistic logic