Genten's theorem on an extended predicate calculus
Shôji Maehara · Proceedings of the Japan Academy Series A Mathematical Sciences · 1954
In this paper, I shall show that the corresponding theorem (cf.2) to Gentzen's 'Hauptsatz ' on his 'Kalkiil LK' is proved in case of the logical systemI shall call it LoKobtained from LK by additional admitting quantifiers Fo (for all o) and o (there exists cp) where o is a propositional variable.1. THE LOGICAL SYSTEM LoK 1.1.'Formula'