RE Jennings and N A. Friedrich, Proof and Consequence: An Introduction to Classical Logic Reviewed by

Philosophy in Review 27 (4):273-274 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Proof and Consequence: An Introduction to Classical Logic with Simon and Simon Says.Ray Jennings & Nicole A. Friedrich - 2006 - Peterborough, CA: Broadview Press.
Pluralism and Proofs.Greg Restall - 2014 - Erkenntnis 79 (S2):279-291.
Intuitionistic Logic Freed of All Metarules.Giovanna Corsi & Gabriele Tassi - 2007 - Journal of Symbolic Logic 72 (4):1204 - 1218.
Reinflating Logical Consequence.Owen Griffiths - 2012 - Journal of Philosophical Logic (1):1-9.
A proof–theoretic study of the correspondence of hybrid logic and classical logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.
Conservatively extending classical logic with transparent truth.David Ripley - 2012 - Review of Symbolic Logic 5 (2):354-378.
The structure of logical consequence : proof-theoretic conceptions.Ole T. Hjortland - unknown
A short proof of Glivenko theorems for intermediate predicate logics.Christian Espíndola - 2013 - Archive for Mathematical Logic 52 (7-8):823-826.
A proof-theoretic study of the correspondence of classical logic and modal logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.
Logical consequence, deductive-theoretic conceptions.Matthew McKeon - 2004 - Internet Encyclopedia of Philosophy.
Book Review: Jody Azzouni. Tracking Reason: Proof, Consequence, and Truth. [REVIEW]Gila Sher - 2009 - Notre Dame Journal of Formal Logic 50 (1):97-117.
SN and {CR} for free-style {${bf LK}sp {tq}$}: linear decorations and simulation of normalization.Jean-Baptiste Joinet, Harold Schellinx & Lorenzo Tortora de Falco - 2002 - Journal of Symbolic Logic 67 (1):162-196.
Intuitionistic Logic and Elementary Rules.Lloyd Humberstone & David Makinson - 2011 - Mind 120 (480):1035-1051.

Analytics

Added to PP
2014-02-13

Downloads
1 (#1,895,134)

6 months
1 (#1,491,286)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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