Tag: nested sequent calculus

  • Discussing “Nested Sequents for Intuitionistic Logics”

    Discussing “Nested Sequents for Intuitionistic Logics”

    About a year and a half ago I wrote about hypersequents, a modification of the tried and trusted sequent calculus approach to structural proof theory. In that setting, instead of working with a single sequent (a set of premises alongside a set of possible conclusions) we work with a list of sequents. In this paper,…