• Gen2sat

  • Referenced in 3 articles [sw16745]
  • tool for deciding derivability in analytic pure sequent calculi. Gen2sat [1] is an efficient ... classical logics given in terms of a sequent calculus. It contributes to the line ... reduction of derivability in analytic pure sequent calculi to SAT. This also makes Gen2sat...
  • SETHEO

  • Referenced in 122 articles [sw00707]
  • SETHEO: A high-performance theorem prover. The paper...
  • ML

  • Referenced in 524 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • HOL

  • Referenced in 594 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • ETPS

  • Referenced in 161 articles [sw06302]
  • TPS and ETPS are, respectively, the Theorem Proving...
  • Prolog

  • Referenced in 70 articles [sw06518]
  • GNU Prolog is a free Prolog compiler with...
  • Nuprl

  • Referenced in 396 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • leanTAP

  • Referenced in 41 articles [sw09985]
  • leanTAP revisited. The Prolog program leanTAP is a...
  • CondLean

  • Referenced in 9 articles [sw09986]
  • CondLean 3.0: Improving CondLean for stronger conditional logics...
  • KLMLean

  • Referenced in 5 articles [sw09988]
  • KLMLean 2.0: A theorem prover for KLM logics...
  • ROSETTA

  • Referenced in 24 articles [sw10969]
  • The design and implementation of a knowledge discovery...
  • Pesca

  • Referenced in 164 articles [sw13664]
  • PESCA = Proof Editor for Sequent Calculus: Pesca is...