E. J. Lemmon. Quantifier rules and natural deduction. Mind, n.s. vol. 70 , pp. 235–238

Journal of Symbolic Logic 31 (1):127-127 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1996

DOI

10.2307/2270657

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,497

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

Quantifier rules and natural deduction.E. J. Lemmon - 1961 - Mind 70 (278):235-238.
Review: E. J. Lemmon, Quantifier Rules and Natural Deduction. [REVIEW]Frederic B. Fitch - 1966 - Journal of Symbolic Logic 31 (1):127-127.
Quantifier Rules and Natural Deduction.Frederic B. Fitch - 1966 - Journal of Symbolic Logic 31 (1):127-127.
Translating a Suppes-Lemmon Style Natural Deduction into a Sequent Calculus.Pavlović Edi - 2015 - European Journal of Analytic Philosophy 11 (2):79--88.
A further note on natural deduction.E. J. Lemmon - 1965 - Mind 74 (296):594-597.
Harmonising Natural Deduction.Hartley Slater - 2008 - Synthese 163 (2):187 - 198.
Natural Semantics: Why Natural Deduction is Intuitionistic.James W. Garson - 2001 - Theoria 67 (2):114-139.
Natural deduction for first-order hybrid logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
Natural deduction rules for English.Frederic B. Fitch - 1973 - Philosophical Studies 24 (2):89 - 104.
Natural Deduction for Diagonal Operators.Fabio Lampert - 2017 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. Cham: Birkhäuser. pp. 39-51.
A natural extension of natural deduction.Peter Schroeder-Heister - 1984 - Journal of Symbolic Logic 49 (4):1284-1300.
Natural Deduction.Andrzej Indrzejczak - 2015
Normal Proofs, Cut Free Derivations and Structural Rules.Greg Restall - 2014 - Studia Logica 102 (6):1143-1166.
Natural Deduction for Paraconsistent Logic.Milton De Castro & Itala Loffredo D'ottaviano - 2000 - Logica Trianguli 4:3-24.
A double deduction system for quantum logic based on natural deduction.Yannis Delmas-Rigoutsos - 1997 - Journal of Philosophical Logic 26 (1):57-67.

Analytics

Added to PP
2014-04-01

Downloads
20 (#773,462)

6 months
5 (#649,144)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references