Peter Schroeder-Heister on Proof-Theoretic Semantics.

Peter Schroeder-Heister on Proof-Theoretic Semantics.

Saved in:
Bibliographic Details
Superior document:Outstanding Contributions to Logic Series ; v.29
:
Piecha, Thomas.
TeilnehmendeR:
Wehmeier, Kai F.
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!
id 993657292804498
ctrlnum (MiAaPQ)EBC31149877
(Au-PeEL)EBL31149877
(OCoLC)1423526059
(CKB)30363334500041
(EXLCZ)9930363334500041
collection bib_alma
record_format marc
spelling Piecha, Thomas.
Peter Schroeder-Heister on Proof-Theoretic Semantics.
1st ed.
Cham : Springer, 2024.
©2024.
1 online resource (465 pages)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Outstanding Contributions to Logic Series ; v.29
Description based on publisher supplied metadata and other sources.
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.
Wehmeier, Kai F.
3-031-50980-3
Outstanding Contributions to Logic Series
language English
format eBook
author Piecha, Thomas.
spellingShingle Piecha, Thomas.
Peter Schroeder-Heister on Proof-Theoretic Semantics.
Outstanding Contributions to Logic Series ;
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.
author_facet Piecha, Thomas.
Wehmeier, Kai F.
author_variant t p tp
author2 Wehmeier, Kai F.
author2_variant k f w kf kfw
author2_role TeilnehmendeR
author_sort Piecha, Thomas.
title Peter Schroeder-Heister on Proof-Theoretic Semantics.
title_full Peter Schroeder-Heister on Proof-Theoretic Semantics.
title_fullStr Peter Schroeder-Heister on Proof-Theoretic Semantics.
title_full_unstemmed Peter Schroeder-Heister on Proof-Theoretic Semantics.
title_auth Peter Schroeder-Heister on Proof-Theoretic Semantics.
title_new Peter Schroeder-Heister on Proof-Theoretic Semantics.
title_sort peter schroeder-heister on proof-theoretic semantics.
series Outstanding Contributions to Logic Series ;
series2 Outstanding Contributions to Logic Series ;
publisher Springer,
publishDate 2024
physical 1 online resource (465 pages)
edition 1st ed.
contents 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.
isbn 3-031-50981-1
3-031-50980-3
callnumber-first B - Philosophy, Psychology, Religion
callnumber-subject B - Philosophy
callnumber-label B1-5802
callnumber-sort B 11 45802
illustrated Not Illustrated
oclc_num 1423526059
work_keys_str_mv AT piechathomas peterschroederheisteronprooftheoreticsemantics
AT wehmeierkaif peterschroederheisteronprooftheoreticsemantics
status_str n
ids_txt_mv (MiAaPQ)EBC31149877
(Au-PeEL)EBL31149877
(OCoLC)1423526059
(CKB)30363334500041
(EXLCZ)9930363334500041
carrierType_str_mv cr
hierarchy_parent_title Outstanding Contributions to Logic Series ; v.29
is_hierarchy_title Peter Schroeder-Heister on Proof-Theoretic Semantics.
container_title Outstanding Contributions to Logic Series ; v.29
author2_original_writing_str_mv noLinkedField
_version_ 1801899439118352384
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01539nam a22003853i 4500</leader><controlfield tag="001">993657292804498</controlfield><controlfield tag="005">20240216084505.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cnu||||||||</controlfield><controlfield tag="008">240216s2024 xx o ||||0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3-031-50981-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC31149877</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL31149877</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1423526059</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)30363334500041</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)9930363334500041</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">B1-5802</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Piecha, Thomas.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Peter Schroeder-Heister on Proof-Theoretic Semantics.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham :</subfield><subfield code="b">Springer,</subfield><subfield code="c">2024.</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2024.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (465 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Outstanding Contributions to Logic Series ;</subfield><subfield code="v">v.29</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on publisher supplied metadata and other sources.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wehmeier, Kai F.</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-031-50980-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Outstanding Contributions to Logic Series</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-06-15 03:31:55 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2024-02-16 14:00:42 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&amp;portfolio_pid=5353846610004498&amp;Force_direct=true</subfield><subfield code="Z">5353846610004498</subfield><subfield code="b">Available</subfield><subfield code="8">5353846610004498</subfield></datafield></record></collection>

Similar Items