Home » Authors » Luca Tranchini

Luca Tranchini

Public reference bibliography and cataloged PDF materials authored or published by Luca Tranchini.

Found 1 document(s) Page 1 of 1

Harmony and Paradox: Intensional Aspects of Proof-Theoretic Semantics

Year: 2024 • ISBN: 978-3031469206 • Source: freecomputerbooks.com • Listed 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 (un...