𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Stroke Function in Natural Deduction

✍ Scribed by Robert Price

Publisher
John Wiley and Sons
Year
1961
Tongue
English
Weight
187 KB
Volume
7
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Experiments in linear natural deduction
Experiments in linear natural deduction
✍ Simone Martini; Andrea Masini πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 853 KB

We investigate several fragments of multiplicative linear logic, in a natural deduction setting and with the aim of a better understanding of the par connective. We study, first, a pre-tensorial calculus, which is strengthened then in the standard tensorial fragment. The addition of a further pre-te

Full Lambek Calculus in natural deductio
Full Lambek Calculus in natural deduction
✍ Ernst Zimmermann πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley and Sons 🌐 English βš– 50 KB

## Abstract A formulation of Full Lambek Calculus in the framework of natural deduction is given (Β© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

Consistency of Heyting arithmetic in nat
Consistency of Heyting arithmetic in natural deduction
✍ Annika Kanckos πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley and Sons 🌐 English βš– 153 KB πŸ‘ 1 views

## Abstract A proof of the consistency of Heyting arithmetic formulated in natural deduction is given. The proof is a reduction procedure for derivations of falsity and a vector assignment, such that each reduction reduces the vector. By an interpretation of the expressions of the vectors as ordina