PROBLEM ELIMINASI CUT PADA LOGIKA LBB’Ink

Surarso, Bayu

MATEMATIKA
Vol 10, No 3 (2007): JURNAL MATEMATIKA

In the present paper we study the problem of  the cut elimination in logics LBB’Ink , i.e. logics obtained from LBB’I by adding a rule called (n®k) rule. It is known that  the cut elimination theorem for LBB’I and its standard extensions can be proved using some modifications of the method used by Gentzen in 1935 to prove the cut elimination theorem for Intuitionistic Logic. We extend the modifications to show that LBB’Ink  enjoy the cut elimination theorem when k=1. On the  other side, we give a counter example sequent to show that the cut elimination theorem does not work for  LBB’Ink  when k>1.