Pages that link to "Item:Q5505551"
From MaRDI portal
The following pages link to Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic (Q5505551):
Displaying 8 items.
- Goal-oriented proof-search in natural deduction for intuitionistic propositional logic (Q1725847) (← links)
- Focused proof-search in the logic of bunched implications (Q2233409) (← links)
- Focused and Synthetic Nested Sequents (Q2811354) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations (Q3455767) (← links)
- (Q5005105) (← links)
- Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method (Q5191105) (← links)
- Focused Inductive Theorem Proving (Q5747767) (← links)
