𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Gentzen-style axiomatization for basic predicate calculus

✍ Scribed by Mojtaba Aghaei; Mohammad Ardeshir

Publisher
Springer
Year
2003
Tongue
English
Weight
176 KB
Volume
42
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Cut Elimination in a Gentzen-Style Ο΅-Cal
Cut Elimination in a Gentzen-Style Ο΅-Calculus Without Identity
✍ Linda Wessels πŸ“‚ Article πŸ“… 1977 πŸ› John Wiley and Sons 🌐 English βš– 725 KB

The elegance and simplicity with which sequent calculi can be used to establish important and profound theorems for formal systems is well known. But until recently little use has been made of the powerful GENTZEN approach to explore the properties of HILBERT'S &-calculus. The recent investigations

A Gentzen-style sequent calculus of cons
A Gentzen-style sequent calculus of constructions with expansion rules
✍ Jonathan P. Seldin πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 116 KB

A Gentzen-style L-formulation of the calculus of constructions is presented and proved equivalent to a natural deduction formulation based on that of Seldin (1997). The L-rules corresponding to the conversion rules of the natural deduction system are expansion rules. Cut elimination follows from the

A Finite Hilbert-Style Axiomatization of
A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus
✍ Jordi Rebagliato; Ventura VerdΓΊ πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 374 KB πŸ‘ 1 views

## Abstract In this paper we obtain a finite Hilbert‐style axiomatization of the implicationless fragment of the intuitionistic propositional calculus. As a consequence we obtain finite axiomatizations of all structural closure operators on the algebra of {–}‐formulas containing this fragment. Mat