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.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
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
Rights and permissions
About this article
Cite this article
Aghaei, M., Ardeshir, M. A Gentzen-style axiomatization for basic predicate calculus. Arch. Math. Logic 42, 245–259 (2003). https://doi.org/10.1007/s001530100132
Issue Date:
DOI: https://doi.org/10.1007/s001530100132