Luca Tranchini

According to our database, Luca Tranchini authored at least 16 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives.

Paolo Pistone, Luca Tranchini, Mattia Petrolo

Stud Logica, 2022

Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach.

Pablo Cobreros, Elio La Rosa, Luca Tranchini

J. Philos. Log., 2022

2021

Proof-theoretic harmony: towards an intensional account.

Luca Tranchini

Synth., 2021

(I can't get no) antisatisfaction.

Pablo Cobreros, Elio La Rosa, Luca Tranchini

Synth., 2021

The Yoneda Reduction of Polymorphic Types (Abstract).

Paolo Pistone, Luca Tranchini

Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021

What's Decidable About (Atomic) Polymorphism?

Paolo Pistone, Luca Tranchini

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

The Yoneda Reduction of Polymorphic Types.

Paolo Pistone, Luca Tranchini

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2019

The Naturality of Natural Deduction.

Luca Tranchini, Paolo Pistone, Mattia Petrolo

Stud Logica, 2019

The naturality of natural deduction (II). Some remarks on atomic polymorphism.

Paolo Pistone, Luca Tranchini, Mattia Petrolo

CoRR, 2019

Polymorphism and the free bicartesian closed category.

Paolo Pistone, Luca Tranchini

CoRR, 2019

2018

Stabilizing Quantum Disjunction.

Luca Tranchini

J. Philos. Log., 2018

2017

Ekman's Paradox.

Peter Schroeder-Heister, Luca Tranchini

Notre Dame J. Formal Log., 2017

Natural deduction for bi-intuitionistic logic.

Luca Tranchini

J. Appl. Log., 2017

2016

Proof-theoretic semantics, paradoxes and the distinction between sense and denotation.

Luca Tranchini

J. Log. Comput., 2016

2015

Harmonising Harmony.

Luca Tranchini

Rev. Symb. Log., 2015

2012

Natural Deduction for Dual-intuitionistic Logic.

Luca Tranchini

Stud Logica, 2012