Luca Tranchini

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