无法解释
发表于 2025-3-28 16:35:44
Book 2022the years to come..The contributions are addressed to mathematical and philosophical logicians, but also to philosophers of science as well as physicists and computer scientists with an interest in foundations..Chapter 8 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com..
投射
发表于 2025-3-28 21:28:27
https://doi.org/10.1007/978-3-662-30536-2ions of proofs telling the reader which rule is applied at a particular step, must be considered part of the proof itself. As a general perspective, it is advocated that the investigation of intensional aspects of proofs should be given more space in proof theory and proof-theoretic semantics.
阻塞
发表于 2025-3-29 02:47:10
Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semanticsions of proofs telling the reader which rule is applied at a particular step, must be considered part of the proof itself. As a general perspective, it is advocated that the investigation of intensional aspects of proofs should be given more space in proof theory and proof-theoretic semantics.
bypass
发表于 2025-3-29 05:30:42
http://reply.papertrans.cn/17/1678/167731/167731_44.png
Overdose
发表于 2025-3-29 08:53:31
9楼
Assignment
发表于 2025-3-29 14:38:02
9楼
calorie
发表于 2025-3-29 19:29:09
9楼
Vsd168
发表于 2025-3-29 20:51:59
10楼
胡言乱语
发表于 2025-3-30 03:10:11
10楼
颠簸下上
发表于 2025-3-30 06:14:09
10楼