2-Sequent Calculus: Intuitionism and Natural Deduction
Andrea Masini · Journal of Logic and Computation · 1993
In this work we propose a study of intuitionistic minimal modal logics by means of a new calculus called intuitionistic 2-sequent calculus. We show that the proposed calculus has an associated natural deduction system. We compare the 2-sequent calculus and the natural deduction system.