Yet Another Bijection Between Sequent Calculus and Natural Deduction☆

https://doi.org/10.1016/j.entcs.2015.04.007Get rights and content
Under a Creative Commons license
open access

Abstract

This work shows a bijection between sequent calculus and natural deduction for intuitionistic propositional logic so far as normal and cut-free derivations are concerned.

Keywords

Correspondence
Natural Deduction
Sequent Calculus
Intuitionistic propositional logic
Proof Theory

Cited by (0)

☆

The authors are grateful to CAPES and CNPq for their financial support.

Copyright © 2015 Published by Elsevier B.V.