A Gentzen-style axiomatization for basic predicate calculus

Archive for Mathematical Logic 42 (3):245-259 (2003)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 89,528

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A cut-free Gentzen formulation of basic propositional calculus.Kentaro Kikuchi & Katsumi Sasaki - 2003 - Journal of Logic, Language and Information 12 (2):213-225.
Two Weak Lambek-Style Calculi: DNL and DNL.Wojciech Zielonka - 2012 - Logic and Logical Philosophy 21 (1):53-64.
A note on the proof theory the λII-calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.
New Consecution Calculi for R→t.Katalin Bimbó & J. Michael Dunn - 2012 - Notre Dame Journal of Formal Logic 53 (4):491-509.
On the Dynamic Logic of Agency and Action.Chrysafis Hartonas - 2014 - Studia Logica 102 (3):441-478.
Characterizing Belnap's Logic via De Morgan's Laws.Alexej P. Pynko - 1995 - Mathematical Logic Quarterly 41 (4):442-454.


Added to PP

49 (#283,570)

6 months
2 (#644,763)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations