Luca Tranchini

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 16

Top Topics

Natural Deduction

Top Venues

J. Philos. Log.

Publications

Paolo Pistone, Luca Tranchini, Mattia Petrolo
The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives. Stud Logica 110 (2) (2022)
Pablo Cobreros, Elio La Rosa, Luca Tranchini
Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach. J. Philos. Log. 51 (6) (2022)
Paolo Pistone, Luca Tranchini
What's Decidable about (Atomic) Polymorphism. CoRR (2021)
Paolo Pistone, Luca Tranchini
The Yoneda Reduction of Polymorphic Types (Abstract). SOQE@KR (2021)
Luca Tranchini
Proof-theoretic harmony: towards an intensional account. Synth. 198 (5-S) (2021)
Pablo Cobreros, Elio La Rosa, Luca Tranchini
(I can't get no) antisatisfaction. Synth. 198 (9) (2021)
Paolo Pistone, Luca Tranchini
The Yoneda Reduction of Polymorphic Types. CSL (2021)
Paolo Pistone, Luca Tranchini
What's Decidable About (Atomic) Polymorphism? FSCD (2021)
Paolo Pistone, Luca Tranchini
Polymorphism and the free bicartesian closed category. CoRR (2019)
Luca Tranchini, Paolo Pistone, Mattia Petrolo
The Naturality of Natural Deduction. Stud Logica 107 (1) (2019)
Paolo Pistone, Luca Tranchini, Mattia Petrolo
The naturality of natural deduction (II). Some remarks on atomic polymorphism. CoRR (2019)
Luca Tranchini
Stabilizing Quantum Disjunction. J. Philos. Log. 47 (6) (2018)
Luca Tranchini
Natural deduction for bi-intuitionistic logic. J. Appl. Log. 25 (Supplement) (2017)
Peter Schroeder-Heister, Luca Tranchini
Ekman's Paradox. Notre Dame J. Formal Log. 58 (4) (2017)
Luca Tranchini
Proof-theoretic semantics, paradoxes and the distinction between sense and denotation. J. Log. Comput. 26 (2) (2016)
Luca Tranchini
Harmonising Harmony. Rev. Symb. Log. 8 (3) (2015)
Luca Tranchini
Natural Deduction for Dual-intuitionistic Logic. Stud Logica 100 (3) (2012)