02034nam 22004093 450 991083505810332120240216084505.03-031-50981-1(MiAaPQ)EBC31149877(Au-PeEL)EBL31149877(OCoLC)1423526059(CKB)30363334500041(EXLCZ)993036333450004120240216d2024 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierPeter Schroeder-Heister on Proof-Theoretic Semantics1st ed.Cham :Springer,2024.©2024.1 online resource (465 pages)Outstanding Contributions to Logic Series ;v.293-031-50980-3 Intro -- 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.Outstanding Contributions to Logic SeriesPiecha Thomas1255135Wehmeier Kai F1732163MiAaPQMiAaPQMiAaPQBOOK9910835058103321Peter Schroeder-Heister on Proof-Theoretic Semantics4145996UNINA