
MaGIC
 Referenced in 17 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 16 articles
[sw18516]
 agentbased deduction system for classical higherorder logic is developed. LeoIII combines ... native support for reasoning in expressive nonclassical logics...

ILLTP
 Referenced in 3 articles
[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...

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

Zsyntax
 Referenced in 3 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...

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

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

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

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

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

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

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

TPS
 Referenced in 75 articles
[sw00973]
 TPS and ETPS are, respectively, the Theorem Proving...

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

ML
 Referenced in 524 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

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