Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A Gentzen-style axiomatization for basic predicate calculus

A Gentzen-style axiomatization for basic predicate calculus  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. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Archive for Mathematical Logic Springer Journals

A Gentzen-style axiomatization for basic predicate calculus

Loading next page...
 
/lp/springer-journals/a-gentzen-style-axiomatization-for-basic-predicate-calculus-P8j8nXwU3h

References (7)

Publisher
Springer Journals
Copyright
Copyright © 2003 by Springer-Verlag Berlin Heidelberg
Subject
Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
ISSN
0933-5846
eISSN
1432-0665
DOI
10.1007/s001530100132
Publisher site
See Article on Publisher Site

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.

Journal

Archive for Mathematical LogicSpringer Journals

Published: Apr 1, 2003

There are no references for this article.