Record Type: |
Electronic resources
: Monograph/item
|
Title/Author: |
Peter Schroeder-Heister on proof-theoretic semantics/ edited by Thomas Piecha, Kai F. Wehmeier. |
other author: |
Piecha, Thomas. |
Published: |
Cham :Springer Nature Switzerland : : 2024., |
Description: |
x, 463 p. :ill. (some col.), digital ;24 cm. |
[NT 15003449]: |
Chapter 1. Proof-theoretic semantics: An autobiographical survey (Peter Schroeder-Heister) -- Chapter 2. Grundlagen der Arithmetik, §17: Part 1. Frege's anticipation of the deduction theorem (Göran Sundholm) -- Chapter 3. Frege's class theory and the logic of sets (Neil Tennant) -- Chapter 4. The validity of inference and argument (Dag Prawitz) -- Chapter 5. Kolmogorov and the general theory of problems (Wagner de Campos Sanz) -- Chapter 6. Disjunctive syllogism without Ex falso (Luiz Carlos Pereira, Edward Hermann Haeusler and Victor Nascimento) -- Chapter 7. The logicality of equality (Andrzej Indrzejczak) -- Chapter 8. Eight rules for implication elimination (Michael Arndt) -- Chapter 9. Focusing Gentzen's LK proof system (Chuck Liang and Dale Miller) -- Chapter 10. Intensional harmony as Isomorphism (Paolo Pistone and Luca Tranchini) -- Chapter 11. A note on synonymy in proof-theoretic semantics (Heinrich Wansing) -- Chapter 12. Paradoxes, intuitionism, and proof-theoretic semantics (Reinhard Kahle and Paulo Guilherme Santos) -- Chapter 13. On the structure of proofs (Lars Hallnäs) -- Chapter 14. Truth-value constants in multi-valued logics (Nissim Francez and Michael Kaminski) -- Chapter 15. Counterfactual assumptions and counterfactual implications (Bartosz Więckowski) -- Chapter 16. Some set-theoretic reduction principles (Michael Bärtschi and Gerhard Jäger) -- Chapter 17. Comments on the contributions (Peter Schroeder-Heister) |
Contained By: |
Springer Nature eBook |
Subject: |
Proof theory. - |
Online resource: |
https://doi.org/10.1007/978-3-031-50981-0 |
ISBN: |
9783031509810 |