Pages that link to "Item:Q2351164"

The following pages link to Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models (Q2351164):

Displaying 7 items.

• Efficient SAT-based proof search in intuitionistic propositional logic (Q2055856) (← links)
• Terminating calculi and countermodels for constructive modal logics (Q2142091) (← links)
• Proofs and countermodels in non-classical logics (Q2254557) (← links)
• A unified procedure for provability and counter-model generation in minimal implicational logic (Q2397231) (← links)
• An Evaluation-Driven Decision Procedure for G3i (Q2946756) (← links)
• Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
• Linear depth deduction with subformula property for intuitionistic epistemic logic (Q6156631) (← links)