Pages that link to "Item:Q4796459"
From MaRDI portal
The following pages link to Space-efficient Decision Procedures for Three Interpolable Propositional Intermediate Logics (Q4796459):
Displayed 4 items.
- Optimization techniques for propositional intuitionistic logic and their implementation (Q959821) (← links)
- Decision methods for linearly ordered Heyting algebras (Q2491077) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications (Q3647294) (← links)