978-3-031-46921-3.pdf
This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations o...
Γλώσσα: | English |
---|---|
Έκδοση: |
Springer Nature
2024
|
Διαθέσιμο Online: | https://link.springer.com/978-3-031-46921-3 |