Pages that link to "Item:Q5285991"
From MaRDI portal
The following pages link to An Intuitionistic Predicate Logic Theorem Prover (Q5285991):
Displaying 13 items.
- The ILTP problem library for intuitionistic logic (Q877897) (← links)
- A logical characterization of forward and backward chaining in the inverse method (Q928660) (← links)
- Optimization techniques for propositional intuitionistic logic and their implementation (Q959821) (← links)
- Goal-oriented proof-search in natural deduction for intuitionistic propositional logic (Q1725847) (← links)
- An Evaluation-Driven Decision Procedure for G3i (Q2946756) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) (Q3541708) (← links)
- Two loop detection mechanisms: A comparison (Q4610326) (← links)
- ileanTAP: An intuitionistic theorem prover (Q4610335) (← links)
- A resolution theorem prover for intuitionistic logic (Q4647496) (← links)
- Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification (Q4647498) (← links)
- Deciding intuitionistic propositional logic via translation into classical logic (Q5234697) (← links)
- On the modal logic K plus theories (Q6560175) (← links)
