MARC details
| 000 -LEADER |
|---|
| fixed length control field |
04025pam a2200433 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
38704 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
0000000000 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240411192905.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
151106s2016 sz s 000 0 eng|d |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
GBB5G2796 |
| Source |
bnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
017611870 |
| Source |
Uk |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319226859 (cased) |
| Terms of availability |
£37.17 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783319226866 (eBook) |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(Uk)017611870 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
StDuBDS |
| Language of cataloging |
eng |
| Transcribing agency |
StDuBDS |
| Modifying agency |
Uk |
| Description conventions |
rda |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
ukblsr |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
401.43 |
| Edition number |
23 |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
International Conference on Proof-Theoretic Semantics |
| Number of part/section/meeting |
(2nd : |
| Date of meeting or treaty signing |
2013 : |
| Location of meeting |
Tübingen, Germany) |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Advances in proof-theoretic semantics / |
| Statement of responsibility, etc. |
Edited by Thomas Piecha & Peter Schroeder-Heister. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham : |
| Name of producer, publisher, distributor, manufacturer |
Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
[2016] |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource. |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Source |
rdacarrier |
| 490 0# - SERIES STATEMENT |
|---|
| Series statement |
Trends in logic, |
| International Standard Serial Number |
1572-6126 ; |
| Volume/sequential designation |
volume 43 |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Formerly CIP. |
| Institution to which field applies |
Uk |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographical references. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Advances in Proof-Theoretic Semantics: Introduction/ Thomas Piecha and Peter Schroeder-Heister -- On the Relation Between Heyting's and Gentzen's Approaches to Meaning/ Dag Prawitz -- Kreisel's Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause/ Walter Dean and Hidenori Kurokawa -- On the Paths of Categories/ Kosta Došen -- Some Remarks on Proof-Theoretic Semantics/ Roy Dyckhoff -- Categorical Harmony and Paradoxes in Proof-Theoretic Semantics/ Yoshihiro Maruyama -- The Paradox of Knowability from an Intuitionistic Standpoint/ Gabriele Usberti -- Explicit Composition and Its Application in Proofs of Normalization/ Jan von Plato -- Towards a Proof-Theoretic Semantics of Equalities/ Reinhard Kahle -- On the Proof-Theoretic Foundations of Set Theory/ Lars Hallnäs -- A Strongly Differing Opinion on Proof-Theoretic Semantics? / Wilfrid Hodges -- Comments on an Opinion/ Kosta Došen -- On Dummett's "Proof-Theoretic Justifications of Logical Laws"/ Warren Goldfarb -- Self-contradictory Reasoning/ Jan Ekman -- Completeness in Proof-Theoretic Semantics/ Thomas Piecha -- Open Problems in Proof-Theoretic Semantics/ Peter Schroeder-Heister. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory. The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike. |
| 530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE |
|---|
| Additional physical form available note |
Also published electronically. |
| 540 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE |
|---|
| Terms governing use and reproduction |
Current Copyright Fee: GBP29.95 |
| Authorization |
0 |
| Institution to which field applies |
Uk |
| 591 ## - |
|---|
| -- |
Selected papers. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Proof theory |
| Form subdivision |
Congresses. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Semantics |
| General subdivision |
Mathematical models |
| Form subdivision |
Congresses. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Piecha, Thomas, |
| Relator term |
editor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Schroeder-Heister, Peter Joseph, |
| Dates associated with a name |
1953- |
| Relator term |
editor. |
| 856 ## - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://drive.google.com/file/d/1MCV09I_yhyXakm_gDHrohraGId_9LlC3/view?usp=sharing">https://drive.google.com/file/d/1MCV09I_yhyXakm_gDHrohraGId_9LlC3/view?usp=sharing</a> |
