Pages that link to "Item:Q4700536"

The following pages link to Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics (Q4700536):

Displaying 21 items.

• A family of Gödel hybrid logics (Q631082) (← links)
• Proof analysis in intermediate logics (Q661286) (← links)
• Modal tableau calculi and interpolation (Q798647) (← 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)
• A note on sequent calculi intermediate between LJ and LK (Q1115420) (← links)
• Cut elimination, identity elimination, and interpolation in super-Belnap logics (Q1685571) (← links)
• Interpolation methods for Dunn logics and their extensions (Q1685574) (← 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)
• Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic (Q4340932) (← links)
• (Q4503949) (← links)
• Generalized tableau systems for intermediate propositional logics (Q4610314) (← links)
• Space-efficient Decision Procedures for Three Interpolable Propositional Intermediate Logics (Q4796459) (← links)