Gentzen Calculi for Modal Propositional Logic: Trends in Logic 32
Gentzen calculi are a family of logical calculi developed by Gerhard Gentzen in the 1930s. They are based on the idea of sequents, which are pairs of sets of formulas. A sequent is said to be valid if the formulas in...