Pages that link to "Item:Q959821"
From MaRDI portal
The following pages link to Optimization techniques for propositional intuitionistic logic and their implementation (Q959821):
Displaying 4 items.
- Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus (Q991900) (← links)
- <i>KALC</i>: a constructive semantics for <i>ALC</i> (Q2901214) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications (Q3647294) (← links)
