ILTP
From MaRDI portal
Software:13195
No author found.
Related Items (29)
Practical Proof Search for Coq by Type Inhabitation ⋮ The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics ⋮ Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations ⋮ The QMLTP Problem Library for First-Order Modal Logics ⋮ A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description ⋮ The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 ⋮ The ILTP problem library for intuitionistic logic ⋮ A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic ⋮ Herbrand constructivization for automated intuitionistic theorem proving ⋮ JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi ⋮ The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Goal-oriented proof-search in natural deduction for intuitionistic propositional logic ⋮ Intuitionistic Decision Procedures Since Gentzen ⋮ Restricting backtracking in connection calculi ⋮ Optimization techniques for propositional intuitionistic logic and their implementation ⋮ An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description ⋮ fCube: An Efficient Prover for Intuitionistic Propositional Logic ⋮ Improvements to the Tableau Prover PITP ⋮ Progress in the Development of Automated Theorem Proving for Higher-Order Logic ⋮ Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method ⋮ Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus ⋮ Machine learning guidance for connection tableaux ⋮ Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4 ⋮ Automated Reasoning with Analytic Tableaux and Related Methods ⋮ A tableaux calculus for default intuitionistic logic ⋮ Automating Theories in Intuitionistic Logic ⋮ Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic
This page was built for software: ILTP
