Abstract

LK is much more difficult than NK, and to make matters worse, Gentzen's intention is still unclear when it comes to that system (LK). The second, third, and fourth volumes of the series titled What is LK? conduct the detailed survey of each inference-figure in a toe-to-toe way, as it were, which most mathematicians looked through. The present volume, Vol.4, looks deeper into those operational inference-figures which concerns predicate logic.