Peter Schroeder-Heister on Proof-Theoretic Semantics.
Saved in:
Superior document: | Outstanding Contributions to Logic Series ; v.29 |
---|---|
: | |
TeilnehmendeR: | |
Place / Publishing House: | Cham : : Springer,, 2024. ©2024. |
Year of Publication: | 2024 |
Edition: | 1st ed. |
Language: | English |
Series: | Outstanding Contributions to Logic Series
|
Physical Description: | 1 online resource (465 pages) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 01539nam a22003853i 4500 | ||
---|---|---|---|
001 | 993657292804498 | ||
005 | 20240216084505.0 | ||
006 | m o d | | ||
007 | cr cnu|||||||| | ||
008 | 240216s2024 xx o ||||0 eng d | ||
020 | |a 3-031-50981-1 | ||
035 | |a (MiAaPQ)EBC31149877 | ||
035 | |a (Au-PeEL)EBL31149877 | ||
035 | |a (OCoLC)1423526059 | ||
035 | |a (CKB)30363334500041 | ||
035 | |a (EXLCZ)9930363334500041 | ||
040 | |a MiAaPQ |b eng |e rda |e pn |c MiAaPQ |d MiAaPQ | ||
050 | 4 | |a B1-5802 | |
100 | 1 | |a Piecha, Thomas. | |
245 | 1 | 0 | |a Peter Schroeder-Heister on Proof-Theoretic Semantics. |
250 | |a 1st ed. | ||
264 | 1 | |a Cham : |b Springer, |c 2024. | |
264 | 4 | |c ©2024. | |
300 | |a 1 online resource (465 pages) | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
490 | 1 | |a Outstanding Contributions to Logic Series ; |v v.29 | |
588 | |a Description based on publisher supplied metadata and other sources. | ||
505 | 0 | |a 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. | |
700 | 1 | |a Wehmeier, Kai F. | |
776 | |z 3-031-50980-3 | ||
830 | 0 | |a Outstanding Contributions to Logic Series | |
906 | |a BOOK | ||
ADM | |b 2024-06-15 03:31:55 Europe/Vienna |f system |c marc21 |a 2024-02-16 14:00:42 Europe/Vienna |g false | ||
AVE | |i DOAB Directory of Open Access Books |P DOAB Directory of Open Access Books |x https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5353846610004498&Force_direct=true |Z 5353846610004498 |b Available |8 5353846610004498 |