The Stroke Function in Natural Deduction

Mathematical Logic Quarterly 7 (7‐10):117-123 (1961)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19610070706

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

External links

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

Through your library

My notes

Similar books and articles

Review: Robert Price, The Stroke Function in Natural Deduction. [REVIEW]Robert L. Stanley - 1973 - Journal of Symbolic Logic 38 (1):149-150.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
Sequent calculus in natural deduction style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory.Moritz Cordes & Friedrich Reinmuth - manuscript
Natural deduction systems for Nelson's paraconsistent logic and its neighbors.Norihiro Kamide - 2005 - Journal of Applied Non-Classical Logics 15 (4):405-435.
A natural deduction system for first degree entailment.Allard M. Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
The deduction rule and linear and near-linear proof simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
Natural Deduction for Dual-intuitionistic Logic.Luca Tranchini - 2012 - Studia Logica 100 (3):631-648.
Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie.Moritz Cordes & Friedrich Reinmuth - manuscript
A sequent calculus isomorphic to gentzen’s natural deduction.Jan von Plato - 2011 - Review of Symbolic Logic 4 (1):43-53.
A double deduction system for quantum logic based on natural deduction.Yannis Delmas-Rigoutsos - 1997 - Journal of Philosophical Logic 26 (1):57-67.
A note on the proof theory the λII-calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.
Dose-response relationship between physiotherapy resource provision with function and balance improvements in patients following stroke: a multi-centre observational study.Terry P. Haines, Suzanne Kuys, Jane Clarke, Greg Morrison & Paul Bew - 2011 - Journal of Evaluation in Clinical Practice 17 (1):136-142.
Natural deduction and Curry's paradox.Susan Rogerson - 2007 - Journal of Philosophical Logic 36 (2):155 - 179.

Analytics

Added to PP
2013-11-24

Downloads
14 (#988,032)

6 months
5 (#632,816)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.

Add more citations

References found in this work

No references found.

Add more references