The Deduction Theorem (Before and After Herbrand)

History and Philosophy of Logic 42 (2):129-159 (2021)
  Copy   BIBTEX

Abstract

Attempts to articulate the real meaning or ultimate significance of a famous theorem comprise a major vein of philosophical writing about mathematics. The subfield of mathematical logic has supplie...

Categories

Keywords

Reprint years

DOI

10.1080/01445340.2021.1889117

Links

PhilArchive



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

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

Reflecting rules: A note on generalizing the deduction theorem.Gillman Payette - 2015 - Journal of Applied Logic 13 (3):188-196.
Local deductions theorems.Janusz Czelakowski - 1986 - Studia Logica 45 (4):377 - 391.
Natural deduction systems for Nelson's paraconsistent logic and its neighbors.Norihiro Kamide - 2005 - Journal of Applied Non-Classical Logics 15 (4):405-435.
Algebraic aspects of deduction theorems.Janusz Czelakowski - 1985 - Studia Logica 44 (4):369 - 387.
The deduction theorem for quantum logic—some negative results.Jacek Malinowski - 1990 - Journal of Symbolic Logic 55 (2):615-625.
Counterfactual Logic and the Necessity of Mathematics.Samuel Elgin - manuscript
Effective completeness theorems for modal logic.Suman Ganguli & Anil Nerode - 2004 - Annals of Pure and Applied Logic 128 (1-3):141-195.
Does the deduction theorem fail for modal logic?Raul Hakli & Sara Negri - 2012 - Synthese 187 (3):849-867.
Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Studia Logica 83 (1-3):279-308.
On the proof theory of the intermediate logic MH.Jonathan P. Seldin - 1986 - Journal of Symbolic Logic 51 (3):626-647.
A note on Spector's quantifier-free rule of extensionality.Ulrich Kohlenbach - 2001 - Archive for Mathematical Logic 40 (2):89-92.
Note on Deduction Theorems in contraction‐free logics.Karel Chvalovský & Petr Cintula - 2012 - Mathematical Logic Quarterly 58 (3):236-243.
Harmonising Natural Deduction.Hartley Slater - 2008 - Synthese 163 (2):187 - 198.
A deduction theorem schema for deductive systems of propositional logics.Janusz Czelakowski & Wies?aw Dziobiak - 1991 - Studia Logica 50 (3-4):385 - 390.
Deduction theorems for weak implicational logics.M. W. Bunder - 1982 - Studia Logica 41 (2-3):95 - 108.

Analytics

Added to PP
2021-03-24

Downloads
74 (#215,284)

6 months
9 (#250,037)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Curtis Franks
University of Notre Dame

Citations of this work

Counterpossibles, Consequence and Context.Daniel Nolan - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
Ruth Barcan Marcus.Roberta Ballarin - 2024 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

Null. Null - 2016 - Philosophy Study 6 (9).
Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
Wissenschaftslehre.Bernard Bolzano & Alois Höfler - 1837 - Revue de Métaphysique et de Morale 22 (4):15-16.

View all 36 references / Add more references