On Sequent Calculi for Intuitionistic Propositional Logic

Abstract

Single- and multi-conclusion calculi for intuitionistic propositional logic are discussed or presented, complexity of decision procedures based on these calculi is explored.

Keywords

• Sequent
• Calculi
• Intuitionistic
• Propositional
• Logic