Pages that link to "Item:Q5285991"

The following pages link to An Intuitionistic Predicate Logic Theorem Prover (Q5285991):

Displaying 33 items.

• A general proof rule for procedures in predicate transformer semantics (Q797986) (← links)
• 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)
• Intuitionistic logic according to Dijkstra's calculus of equational deduction (Q1049739) (← links)
• A circumscriptive theorem prover (Q1123640) (← links)
• A family of goal directed theorem provers based on conjunction and implication. I (Q1181711) (← links)
• An improved refutation system for intuitionistic predicate logic (Q1344876) (← links)
• Goal-oriented proof-search in natural deduction for intuitionistic propositional logic (Q1725847) (← links)
• Inhabitants of intuitionistic implicational theorems (Q1799268) (← links)
• Theorem proving for intensional logic (Q1891256) (← links)
• The propositional formula checker HeerHugo (Q1977753) (← links)
• Theorem prover for intuitionistic logic based on the inverse method (Q2216868) (← links)
• Theorem proving for untyped constructive \(\lambda\)-calculus: Implementation and application (Q2708310) (← links)
• Quantifier handling issues in computer-oriented intuitionistic calculi (Q2784641) (← links)
• A note on the independence of premiss rule (Q2793909) (← links)
• Predicate Elimination for Preprocessing in First-Order Theorem Proving (Q2818027) (← links)
• An Evaluation-Driven Decision Procedure for G3i (Q2946756) (← links)
• Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
• (Q3490987) (← links)
• leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) (Q3541708) (← links)
• An Evaluation Based Theorem Prover (Q3681965) (← links)
• (Q3804241) (← links)
• (Q3821629) (← links)
• A note on the existence property for intuitionistic logic with function symbols (Q3824410) (← links)
• A Proof-theoretic Analysis of Goal-directed Provability (Q4286216) (← 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)
• Dynamic logic as a uniform framework for theorem proving in intensional logic (Q6488557) (← links)
• On the modal logic K plus theories (Q6560175) (← links)