Pages that link to "Item:Q2806784"
From MaRDI portal
The following pages link to The inverse method application for non-classical logics (Q2806784):
Displaying 8 items.
- What is the inverse method? (Q908895) (← links)
- A forward unprovability calculus for intuitionistic propositional logic (Q1694454) (← links)
- Theorem prover for intuitionistic logic based on the inverse method (Q2216868) (← links)
- The inverse method (Q2751355) (← links)
- Inverse negation and classical implicative logic (Q2770971) (← links)
- A Logical Characterization of Forward and Backward Chaining in the Inverse Method (Q3613403) (← links)
- (Q4537975) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705943) (← links)