Linked to FindBook      Google Book      Amazon      博客來     
  • Peter Schroeder-Heister on proof-theoretic semantics
  • 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
Location:  Year:  Volume Number: 
Items
  • 1 records • Pages 1 •
  • 1 records • Pages 1 •
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login