Results 1 to 13 of 13
Sort by:

  • 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...