
MaGIC
 Referenced in 15 articles
[sw11872]
 Connectives) is intended as a tool for logical research. It computes small algebras (normally with ... elements) suitable for modelling certain nonclassical logics. Along the way, it eliminates from...

LeoIII
 Referenced in 15 articles
[sw18516]
 agentbased deduction system for classical higherorder logic is developed. LeoIII combines ... native support for reasoning in expressive nonclassical logics...

Gen2sat
 Referenced in 3 articles
[sw16745]
 wide variety of propositional nonclassical logics given in terms of a sequent calculus...

Zsyntax
 Referenced in 2 articles
[sw30123]
 grounded on a particular type of nonclassical logic, and it can be used...

GLEFatinf
 Referenced in 2 articles
[sw26321]
 Huet). Its abilities are independent of the logic and the calculus used. It is therefore ... handled in a natural manner, equational and non equational proofs are treated in an homogeneous ... Several running examples in classical and nonclassical logics show evidence of the capabilities...

LIPSAT
 Referenced in 6 articles
[sw28633]
 Łukasiewicz infinitelyvalued logic. We study probabilisticlogic reasoning in a context that allows ... algorithmic properties of nonclassical Łukasiewicz infinitelyvalued probabilistic logic. In particular, we study...

Paraconsistency
 Referenced in 1 article
[sw28572]
 classical and intuitionistic logic everything follows from an inconsistent theory. A paraconsistent logic avoids ... valued logic that we motivated and described in a special issue on logical ... approaches to paraconsistency (Journal of Applied NonClassical Logics 2005). We limit ourselves...

ILLTP
 Referenced in 1 article
[sw40829]
 ILLTP library for intuitionistic linear logic. Benchmarking automated theorem proving (ATP) systems using standardized problem ... availability of such libraries for nonclassical logics is very limited. In this work...

Coq
 Referenced in 1856 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 3068 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Magma
 Referenced in 3137 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5296 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6235 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13100 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

Nitpick
 Referenced in 61 articles
[sw00622]
 Nitpick is a counterexample generator for Isabelle/HOL that...

KRIPKE
 Referenced in 8 articles
[sw01162]
 The relevant logics E, R and N R...

MaxSolver
 Referenced in 20 articles
[sw01990]
 Maximum Boolean satisfiability (maxSAT) is the optimization...

SQEMA
 Referenced in 39 articles
[sw03056]
 Algorithmic correspondence and completeness in modal logic. IV...

TPTP
 Referenced in 384 articles
[sw04143]
 The TPTP (Thousands of Problems for Theorem Provers...