Harmony and paradox: intensional aspects of proof-theoretic semantics
Auteur :
Tranchini, Luca
Éditeur :
Springer International Publishing AG
ISBN :
9783031469237
Date de publication :
8 mai 2025
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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 of proofs).