Harmony and paradox. Intensional aspects of proof-theoretic semantics

DOI10.1007/978-3-031-46921-3MaRDI QIDQ6535881

Luca Tranchini

Publication date: 5 March 2024

Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

Which `intensional paradoxes' are paradoxes?

This page was built for publication: Harmony and paradox. Intensional aspects of proof-theoretic semantics