The Deduction Theorem (Before and After Herbrand)
Bibliographic Data
| ID | 21451334 |
|---|---|
| Authors | Curtis Franks (Department of Philosophy, University of Notre Dame, Notre Dame, IN, USA, corresponding author) |
| Year | 2021 |
| Volume | 42 |
| Issue | 2 |
| Pages | 129-159 |
| Publication date | 2021-04-03 |
| Open Access | No |
| Type | ARTICLE |
| Venue | History and Philosophy of Logic (JOURNAL) |
| Journal identifiers | ISSN: 0144-5340 • E-ISSN: 1464-5149 |
| Publisher | Informa UK Limited (PUBLISHER • GB) |
| DOI | 10.1080/01445340.2021.1889117 |
| OpenAlex | W3137246604 |
| Language | EN |
| Citations received | 2 |
| References cited | 33 |
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
Algorithm · Automated theorem proving · Calculus (dental) · Geometry · Mathematical economics · Mathematical proof · Sequent calculus · History and Theory of Mathematics · Logic, programming, and type systems · Mathematics · Medicine · Philosophy and Theoretical Science
| Citations per year | 1 |
|---|---|
| Citation span | 2024 - 2025 (2) |
| Highly cited | No |