A note on sequent calculi intermediate betweenLJandLK

✍ Scribed by Branislav R. Boričić

• Book ID: 104744811
• Publisher: Springer Netherlands
• Year: 1988
• Tongue: English
• Weight: 359 KB
• Volume: 47
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1007/bf00370289

✦ Synopsis

We prove that every finitely axiomatizable extension of Heyting's intuitionistic logic has a corresponding cut-free Gentzen-type formulation. It is shown how one can use this result to find the corresponding normalizable natural deduction system and to give a criterion for separability of considered logic. Obviously, the question how to obtain an effective definition of a sequent calculus which corresponds to a concrete logic remains a separate problem for every logic.