Natural Deduction for Dual-intuitionistic Logic. - Luca Tranchini (Stud Logica, 2012)

Harmonising Harmony. - Luca Tranchini (Rev. Symb. Log., 2015)

Proof-theoretic semantics, paradoxes and the distinction between sense and denotation. - Luca Tranchini (J. Log. Comput., 2016)

Natural deduction for bi-intuitionistic logic. - Luca Tranchini (J. Appl. Log., 2017)

Ekman's Paradox. - Peter Schroeder-Heister; Luca Tranchini (Notre Dame J. Formal Log., 2017)

Stabilizing Quantum Disjunction. - Luca Tranchini (J. Philos. Log., 2018)

Polymorphism and the free bicartesian closed category. - Paolo Pistone; Luca Tranchini (CoRR, 2019)

The naturality of natural deduction (II). Some remarks on atomic polymorphism. - Paolo Pistone; Luca Tranchini; Mattia Petrolo (CoRR, 2019)

The Naturality of Natural Deduction. - Luca Tranchini; Paolo Pistone; Mattia Petrolo (Stud Logica, 2019)

The Yoneda Reduction of Polymorphic Types. - Paolo Pistone; Luca Tranchini (CSL, 2021)

What's Decidable About (Atomic) Polymorphism? - Paolo Pistone; Luca Tranchini (FSCD, 2021)

The Yoneda Reduction of Polymorphic Types (Abstract). - Paolo Pistone; Luca Tranchini (SOQE@KR, 2021)

(I can't get no) antisatisfaction. - Pablo Cobreros; Elio La Rosa; Luca Tranchini (Synth., 2021)

Proof-theoretic harmony: towards an intensional account. - Luca Tranchini (Synth., 2021)

Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach. - Pablo Cobreros; Elio La Rosa; Luca Tranchini (J. Philos. Log., 2022)

The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives. - Paolo Pistone; Luca Tranchini; Mattia Petrolo (Stud Logica, 2022)