• 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 non-classical logics. Along the way, it eliminates from...
  • Leo-III

  • Referenced in 15 articles [sw18516]
  • agent-based deduction system for classical higher-order logic is developed. Leo-III combines ... native support for reasoning in expressive non-classical logics...
  • Gen2sat

  • Referenced in 3 articles [sw16745]
  • wide variety of propositional non-classical logics given in terms of a sequent calculus...
  • Zsyntax

  • Referenced in 2 articles [sw30123]
  • grounded on a particular type of non-classical 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 non-classical logics show evidence of the capabilities...
  • LIPSAT

  • Referenced in 6 articles [sw28633]
  • Łukasiewicz infinitely-valued logic. We study probabilistic-logic reasoning in a context that allows ... algorithmic properties of non-classical Łukasiewicz infinitely-valued 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 Non-Classical 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 non-classical 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 high-level language and interactive...
  • Nitpick

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

  • Referenced in 20 articles [sw01990]
  • Maximum Boolean satisfiability (max-SAT) 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...