A Gentzen-style axiomatization for basic predicate calculus |
| |
Authors: | Mojtaba Aghaei Mohammad Ardeshir |
| |
Affiliation: | (1) Department of Mathematics, Isfahan University of Technology, Isfahan, Iran. e-mail: aghaei@cc.iut.ac.ir, IR;(2) Department of Mathematics, Sharif University of Technology, P.O. Box 11365-9415, Tehran, Iran. e-mail: mardeshir@sina.sharif.ac.ir, IR |
| |
Abstract: | We introduce a Gentzen-style sequent calculus axiomatization for Basic Predicate Calculus. Our new axiomatization is an improvement of the previous axiomatizations, in the sense that it has the subformula property. In this system the cut rule is eliminated. Received: 18 April 2000 / Published online: 2 September 2002 Mathematics Subject Classification (2000): Primary 03F05; Secondary 03F99, 03B60 Key words or phrases: Basic predicate calculus – Cut elimination – Sequent |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|