Pages that link to "Item:Q4700536"
From MaRDI portal
The following pages link to Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics (Q4700536):
Displaying 13 items.
- A family of Gödel hybrid logics (Q631082) (← links)
- Proof analysis in intermediate logics (Q661286) (← links)
- Equilibrium logic (Q854969) (← links)
- Graph-based decision for Gödel-Dummett logics (Q877886) (← links)
- Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus (Q991900) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Varieties of linear calculi (Q1868337) (← links)
- Terminating calculi for propositional Dummett logic with subformula property (Q2352485) (← links)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
- Decision methods for linearly ordered Heyting algebras (Q2491077) (← links)
- A Multiple-Conclusion Calculus for First-Order Gödel Logic (Q3007648) (← links)
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains (Q3010373) (← links)
- (Q3063990) (← links)
