For Better Performance Please Use Chrome or Firefox Web Browser

A Gentzan Style Axiomatization for Basic Predicate Calculus, 34th Iranian Mathematics Conference, Shahrood, Iran, August 2003,

We introduce a Gentzen-style sequent calculus axiomatization for Basic Predicate Calculus. Our new axiomatization is an improvement of the previous axiomatization, in the sense that it has the subformula property. In this system the cut rule is eliminated.
 

Year: 
2003
Month/Season: 
August
Type: 
Conference Papers

ارتقاء امنیت وب با وف بومی