Harmony and Paradox : Intensional Aspects of Proof-Theoretic Semantics /

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...

Full description

Bibliographic Details

Main Author:	Tranchini, Luca (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2024.
Edition:	1st ed. 2024.
Series:	Trends in Logic, Studia Logica Library, 62
Subjects:	Logic. Machine theory. Mathematical logic. Formal Languages and Automata Theory. Mathematical Logic and Foundations. Electronic books.
Online Access:	Connect to the full text of this electronic book