紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
Harmony and paradox/ by Luca Tranchini ; with a contribution by Peter Schroeder-Heister. |
其他題名: |
intensional aspects of proof-theoretic semantics / |
作者: |
Tranchini, Luca. |
其他作者: |
Schroeder-Heister, Peter. |
出版者: |
Cham :Springer International Publishing : : 2024., |
面頁冊數: |
xv, 184 p. :ill., digital ;24 cm. |
內容註: |
Part 1. Harmony. Chapter 1. Harmony via reductions and expansions -- Chapter 2. Identity of proofs -- Chapter 3. Towards an intensional notion of harmony -- Part 2. Paradox -- Chapter 4. Paradoxes: a natural deduction approach -- Chapter 5. Validity, sense and denotation in the face of paradoxes -- Chapter 6. Two kinds of difficulties -- Conclusion. |
Contained By: |
Springer Nature eBook |
標題: |
Proof theory. - |
電子資源: |
https://doi.org/10.1007/978-3-031-46921-3 |
ISBN: |
9783031469213 |