Seguir
Luca Tranchini
Luca Tranchini
Tübingen
Dirección de correo verificada de uni-tuebingen.de
Título
Citado por
Citado por
Año
Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
L Tranchini
Journal of Logic and Computation 26 (2), 495-512, 2016
442016
Natural Deduction for Dual-intuitionistic Logic
L Tranchini
Studia Logica 100 (3), 631-648, 2012
322012
Ekman’s paradox
P Schroeder-Heister, L Tranchini
Notre Dame Journal of Formal Logic 58 (4), 567-581, 2017
252017
Proof-theoretic harmony: Towards an intensional account
L Tranchini
Synthese 198 (5), 1145-1176, 2021
232021
The naturality of natural deduction
L Tranchini, P Pistone, M Petrolo
Studia Logica 107 (1), 195-231, 2019
212019
(I can’t get no) antisatisfaction
P Cobreros, E La Rosa, L Tranchini
Synthese, 1-15, 2020
152020
Proof, meaning and paradox: Some remarks
L Tranchini
Topoi 38 (3), 591-603, 2019
142019
How to ekman a crabbé-tennant
P Schroeder-Heister, L Tranchini
Synthese 199 (Suppl 3), 617-639, 2021
122021
Harmonising harmony
L Tranchini
The Review of Symbolic Logic 8 (3), 411-423, 2015
122015
The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives
P Pistone, L Tranchini, M Petrolo
Studia Logica, 1-48, 2021
11*2021
Higher-level inferences in the strong-Kleene setting: A proof-theoretic approach
P Cobreros, E La Rosa, L Tranchini
Journal of Philosophical Logic, 1-36, 2022
102022
Stabilizing Quantum Disjunction
L Tranchini
Journal of Philosophical Logic 47 (6), 1029-1047, 2018
102018
Natural deduction for bi-intuitionistic logic
L Tranchini
Journal of Applied Logic 25, S72-S96, 2017
92017
Truth from a proof-theoretic perspective
L Tranchini
Topoi 31, 47-57, 2012
92012
Dag Prawitz
L Tranchini
APhEx, 2014
82014
Refutation: a proof-theoretic account
L Tranchini
First Pisa Colloquium in Logic, Language and Epistemology, 133-150, 2010
72010
The Yoneda Reduction of Polymorphic Types
P Pistone, L Tranchini
29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 2021
52021
Supervaluationism: Truth, value and degree functionality
P Cobreros, L Tranchini
Thought: A Journal of Philosophy 3 (2), 136-144, 2014
52014
Proof and Truth: An Anti-Realist Perspective
L Tranchini
Edizioni ETS, 2013
52013
Intensional harmony as isomorphism
P Pistone, L Tranchini
Peter Schroeder-Heister on Proof-Theoretic Semantics, 315-337, 2024
42024
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20