Pages that link to "Item:Q2352485"
From MaRDI portal
The following pages link to Terminating calculi for propositional Dummett logic with subformula property (Q2352485):
Displaying 4 items.
- Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus (Q991900) (← links)
- SAT-based proof search in intermediate propositional logics (Q2104497) (← links)
- A deterministic terminating sequent calculus for Godel-Dummett logic (Q4255973) (← links)
- From the subformula property to cut-admissibility in propositional sequent calculi (Q4612444) (← links)