Pages that link to "Item:Q4340932"

The following pages link to Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic (Q4340932):

Displaying 7 items.

• Optimization techniques for propositional intuitionistic logic and their implementation (Q959821) (← links)
• Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models (Q2351164) (← links)
• Admissibility of structural rules for contraction-free systems of intuitionistic logic (Q2710593) (← links)
• <i>KALC</i>: a constructive semantics for <i>ALC</i> (Q2901214) (← links)
• An Evaluation-Driven Decision Procedure for G3i (Q2946756) (← links)
• A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications (Q3647294) (← links)
• Generalized tableau systems for intermediate propositional logics (Q4610314) (← links)