LEADER 02034nam  22004093  450 
001 9910835058103321
005 20240216084505.0
010   $a3-031-50981-1
035   $a(MiAaPQ)EBC31149877
035   $a(Au-PeEL)EBL31149877
035   $a(OCoLC)1423526059
035   $a(CKB)30363334500041
035   $a(EXLCZ)9930363334500041
100   $a20240216d2024      uy         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aPeter Schroeder-Heister on Proof-Theoretic Semantics
205   $a1st ed.
210  1$aCham :$cSpringer,$d2024.
210  4$dİ2024.
215   $a1 online resource (465 pages)
225 1 $aOutstanding Contributions to Logic Series ;$vv.29
311   $a3-031-50980-3 
327   $aIntro -- Preface -- Contents -- List of Contributors -- Proof-Theoretic Semantics: An Autobiographical Survey -- Grundlagen der Arithmetik, 17: Part 1. Frege's Anticipation of the Deduction Theorem? -- Frege's Class Theory and the Logic of Sets -- The Validity of Inference and Argument? -- Kolmogorov and the General Theory of Problems -- Disjunctive Syllogism without Ex falso -- The Logicality of Equality -- Eight Rules for Implication Elimination -- Focusing Gentzen's LK Proof System -- Intensional Harmony as Isomorphism -- A Note on Synonymy in Proof-Theoretic Semantics -- Paradoxes, Intuitionism, and Proof-Theoretic Semantics -- On the Structure of Proofs -- Truth-Value Constants in Multi-Valued Logics -- Counterfactual Assumptions and Counterfactual Implications -- Some Set-Theoretic Reduction Principles -- Comments on the Contributions -- Index.
410  0$aOutstanding Contributions to Logic Series
700   $aPiecha$b Thomas$01255135
701   $aWehmeier$b Kai F$01732163
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910835058103321
996   $aPeter Schroeder-Heister on Proof-Theoretic Semantics$94145996
997   $aUNINA