Publication | Closed Access
2-Sequent Calculus: Intuitionism and Natural Deduction
29
Citations
0
References
1993
Year
Intuitionistic LogicNon-classical LogicEngineeringSubstructural LogicAutomated ReasoningConstructive LogicIntuitionistic 2-Sequent CalculusNatural DeductionFormal MethodsNew CalculusComputer ScienceSemanticsNatural Deduction SystemModal LogicIntuitionSequent Calculus
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.