𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Cut-Free Gentzen Formulation of Basic Propositional Calculus

✍ Scribed by Kentaro Kikuchi; Katsumi Sasaki

Book ID
110419005
Publisher
Springer Netherlands
Year
2003
Tongue
English
Weight
97 KB
Volume
12
Category
Article
ISSN
0925-8531

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Tractability of cut-free Gentzen type pr
Tractability of cut-free Gentzen type propositional calculus with permutation inference
✍ Noriko H. Arai πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 902 KB

We present a new propositional calculus that has desirable natures with respect to both automatic reasoning and computational complexity: we introduce an inference rule, called permutation, into a cut-free Gentzen type propositional calculus. It allows us to obtain a system which (1) guarantees the

Tractability of Cut-free Gentzen-type pr
Tractability of Cut-free Gentzen-type propositional calculus with permutation inference II
✍ Noriko H. Arai πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 114 KB

In Arai (1996), we introduced a new inference rule called permutation to propositional calculus and showed that cut-free Gentzen system LK (GCNF) with permutation (1) satisΓΏes the feasible subformula property, and (2) proves pigeonhole principle and k-equipartition polynomially. In this paper, we su