
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 highperformance theorem prover. The paper...

ML
 Referenced in 524 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose 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...

MUltlog
 Referenced in 19 articles
[sw06604]
 MUltlog is a system which takes as input...

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