Advances in Proof-Theoretic Semantics. (Record no. 304940)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 07366nam a22004693i 4500 |
| 001 - CONTROL NUMBER | |
| control field | EBC5588004 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240122001130.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
| fixed length control field | m o d | |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr cnu|||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 231124s2015 xx o ||||0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783319226866 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 9783319226859 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (MiAaPQ)EBC5588004 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (Au-PeEL)EBL5588004 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)960755671 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | MiAaPQ |
| Language of cataloging | eng |
| Description conventions | rda |
| -- | pn |
| Transcribing agency | MiAaPQ |
| Modifying agency | MiAaPQ |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | BC1-199 |
| 082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 401.43 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Piecha, Thomas. |
| 245 10 - TITLE STATEMENT | |
| Title | Advances in Proof-Theoretic Semantics. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Cham : |
| Name of producer, publisher, distributor, manufacturer | Springer International Publishing AG, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2015. |
| 264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Date of production, publication, distribution, manufacture, or copyright notice | �2016. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (281 pages) |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 490 1# - SERIES STATEMENT | |
| Series statement | Trends in Logic Series ; |
| Volume/sequential designation | v.43 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Intro -- Contents -- Advances in Proof-Theoretic Semantics: Introduction -- References -- On the Relation Between Heyting's and Gentzen's Approaches to Meaning -- 1 Introduction -- 2 Heyting's Approach to Meaning -- 3 Gentzen's Approach to Meaning -- 4 A First Comparison Between Heyting's and Gentzen's Approaches -- 5 Further Development of Gentzen's Ideas -- 5.1 Argument Structures -- 5.2 Arguments -- 5.3 Validity of Arguments -- 6 Weak and Strong Validity and Their Features -- 7 Mappings of Valid Arguments on BHK-Proofs and Vice Versa -- 7.1 Extending the Mapping Proof to Arguments for A -- 7.2 Extending the Mapping Arg to BHK-Proofs of A -- 8 Concluding Remarks -- References -- Kreisel's Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause -- 1 Introduction -- 2 Predicativity, Decidability, and the BHK Interpretation -- 3 The Theory of Constructions and the Second Clause -- 3.1 An Overview of the Theory of Constructions -- 3.2 The Kreisel-Goodman Paradox -- 4 The Reception of the Theory of Constructions and the Second Clause -- 4.1 Shifting Opinions -- 4.2 Guilt by Association? -- 5 Diagnosing the Paradox -- 5.1 Self-Reference and Typing -- 5.2 Stratification -- 5.3 Decidability -- 5.4 Reflection -- 5.5 Internalization -- 6 Conclusions and Further Work -- References -- On the Paths of Categories -- 1 Functions of Language -- 2 Deductions Not Necessarily Based on Propositions -- 3 Deductions in Categories -- 4 Deductions in Multicategories and Polycategories -- 5 Rules for Deductions -- References -- Some Remarks on Proof-Theoretic Semantics -- 1 Background on General Elimination Rules -- 2 Is Bullet a Logical Constant? -- 3 The GE-rule for Implication and the Type-Theoretic Dependent Product Type -- 4 GE-Rules in General -- 4.1 Several I-Rules -- 4.2 I-Rule Has Several Premisses. |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 4.3 Premiss of I-Rule Discharges Some Assumptions -- 4.4 GE Harmony: A Counter-Example -- 4.5 Another [Counter-]Example -- 4.6 In Other Words -- 5 Conclusion -- References -- Categorical Harmony and Paradoxes in Proof-Theoretic Semantics -- 1 Introduction -- 2 The Principle of Categorical Harmony -- 3 Categorical Harmony in Comparison with Other Principles -- 4 Degrees of Paradoxicality of Logical Constants -- 5 Concluding Remarks: From Semantic Dualism to Duality -- References -- The Paradox of Knowability from an Intuitionistic Standpoint -- 1 Introduction -- 2 An Intuitionistic Solution -- 2.1 (2) is intuitionistically valid -- 2.2 Truth Notions -- 2.3 Internal and Intuitive Truth -- 2.4 Unknown Statements -- 3 Neo-Verificationist Approaches -- 4 How Is a Rational Discussion Possible? -- 5 Conclusion -- References -- Explicit Composition and Its Application in Proofs of Normalization -- 1 Introduction -- 2 Notation for Natural Derivations -- 3 Normalization by Hilfssatz -- 4 Strong Normalization by Bar Induction -- 5 Concluding Remarks and Further Applications -- References -- Towards a Proof-Theoretic Semantics of Equalities -- 1 Frege's Question -- 2 Equality Versus Identity -- 3 The Mode of Presentation -- 4 Morning Star Versus Evening Star Revisited -- 5 Equality -- 6 Equality of Senses -- 7 Proof-Theoretic Semantics -- References -- On the Proof-Theoretic Foundations of Set Theory -- 1 Introduction -- 2 Defining Sets -- 3 Functional Closure, Local Logic and the Notion of Absoluteness -- 3.1 The Functional Closure -- 3.2 Local Logic -- 3.3 Absoluteness -- 4 A Proof-Theoretic Interpretation -- 5 Sets -- 6 Foundational Issues -- References -- A Strongly Differing Opinion on Proof-Theoretic Semantics? -- 1 Straw Model Theory -- 1.1 Tarski's Definition of Logical Consequence -- 1.2 Model Theory -- 1.3 Model-Theoretic Semantics. |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 2 Defining Meanings in General -- 2.1 Defining Meanings: Specialise Then Generalise -- 2.2 Representing the Meaning -- 3 Defining Logical Consequence -- References -- Comments on an Opinion -- References -- On Dummett's ``Proof-Theoretic Justifications of Logical Laws'' -- 1 Analysis of the Method -- 2 Boundary Rules -- 3 Schematic Inferences -- 4 Assessment -- References -- Self-contradictory Reasoning -- 1 Introduction -- 2 Meaning Conditions -- 3 The Liar Paradox -- 4 Self-contradictory Reasoning in N-forall= -- 5 Self-contradictory Reasoning in N-= -- 6 Self-contradictory Reasoning in N-= -- References -- Completeness in Proof-Theoretic Semantics -- 1 Introduction -- 2 Prawitz's Conjecture -- 3 Failure of Completeness for Intuitionistic Logic -- 4 Goldfarb's Account of Dummett's Approach -- 5 Proof-Theoretic Validity for Generalized Atomic Systems -- 5.1 Generalized Atomic Systems -- 5.2 Proof-Theoretic Validity -- 5.3 Failure of Strong Completeness -- 5.4 Strong Completeness Results -- 5.5 Failure of Completeness -- 5.6 Comparison with Kripke Semantics -- 5.7 A Completeness Result for Intuitionistic Logic -- 6 Completeness Results for Classical Logic -- 6.1 Other Logical Constants -- 6.2 Remarks -- 7 Conclusion -- References -- Open Problems in Proof-Theoretic Semantics -- 1 Introduction -- 2 The Nature of Hypotheses and the Format of Proofs -- 2.1 Open Proofs and the Placeholder View -- 2.2 The No-Assumptions View -- 2.3 Bidirectionality -- 2.4 Local and Global Proof-Theoretic Semantics -- 3 The Problem of Harmony -- 3.1 Harmony Based on Generalised Rules -- 3.2 Harmony Based on Equivalence -- 3.3 The Need for an Intensional Notion of Harmony -- 3.4 Towards a Definition of Strong Harmony -- 4 Proof-Theoretic Semantics Beyond Logic -- 4.1 Definitional Reflection -- 4.2 Logic, Paradoxes, Partial Definitions -- 4.3 Variables and Substitution. |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 4.4 Outlook: Applications and Extensions of Definitional Reflection -- References. |
| 588 ## - SOURCE OF DESCRIPTION NOTE | |
| Source of description note | Description based on publisher supplied metadata and other sources. |
| 590 ## - LOCAL NOTE (RLIN) | |
| Local note | Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2023. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries. |
| 655 #4 - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | Electronic books. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Schroeder-Heister, Peter. |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Print version: |
| Main entry heading | Piecha, Thomas |
| Title | Advances in Proof-Theoretic Semantics |
| Place, publisher, and date of publication | Cham : Springer International Publishing AG,c2015 |
| International Standard Book Number | 9783319226859 |
| 797 2# - LOCAL ADDED ENTRY--CORPORATE NAME (RLIN) | |
| Corporate name or jurisdiction name as entry element | ProQuest (Firm) |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Trends in Logic Series |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=5588004">https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=5588004</a> |
| Public note | Click to View |
No items available.