Pages that link to "Item:Q4647496"
From MaRDI portal
The following pages link to A resolution theorem prover for intuitionistic logic (Q4647496):
Displayed 8 items.
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- A uniform procedure for converting matrix proofs into sequent-style systems (Q1854382) (← links)
- Theorem prover for intuitionistic logic based on the inverse method (Q2216868) (← 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)
- Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification (Q4647498) (← links)