The following pages link to (Q4699343):
Displaying 12 items.
- Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus (Q991900) (← links)
- Terminating calculi for propositional Dummett logic with subformula property (Q2352485) (← links)
- (Q2721190) (← links)
- (Q2721193) (← links)
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains (Q3010373) (← links)
- A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications (Q3647294) (← links)
- (Q4412868) (← links)
- (Q4443197) (← links)
- A Tableau Calculus for Hajek's Logic BL (Q4461931) (← links)
- Tableaux and algorithms for Propositional Dynamic Logic with Converse (Q4647551) (← links)
- Computer Science Logic (Q5311279) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479274) (← links)