L. Tranchini

Most-cited papers

(I can’t get no) antisatisfaction
P. Cobreros, Elio La Rosa, L. Tranchini
2020Synthese31 citations Open access
Semantic Scholar
Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
L. Tranchini
2016Journal of Logic and Computation31 citations Open access
Semantic Scholar
Supervaluationism: Truth, Value and Degree Functionality
Pablo Cobreros, L. Tranchini
201423 citations
Semantic Scholar
Natural Deduction for Dual-intuitionistic Logic
L. Tranchini
2012Studia Logica: An International Journal for Symbolic Logic23 citations
Semantic Scholar
PROOF ANALYSIS OF GLOBAL CONSEQUENCE
L. Tranchini
201718 citations
Semantic Scholar
Proof-theoretic harmony: towards an intensional account
L. Tranchini
2016Synthese18 citations Open access
Semantic Scholar
Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach
Pablo Cobreros, Elio La Rosa, L. Tranchini
2021Journal of Philosophical Logic15 citations Open access
Semantic Scholar
The Naturality of Natural Deduction
L. Tranchini, Paolo Pistone, Mattia Petrolo
2016Studia Logica: An International Journal for Symbolic Logic15 citations
Semantic Scholar
Ekman's Paradox
P. Schroeder-Heister, L. Tranchini
2017Notre Dame J. Formal Log.14 citations Open access
Semantic Scholar
Proof, Meaning and Paradox: Some Remarks
L. Tranchini
2018Topoi10 citations
Semantic Scholar
Natural deduction for bi-intuitionistic logic
L. Tranchini
2017Journal of Applied Logic9 citations Open access
Semantic Scholar
HARMONISING HARMONY
L. Tranchini
2015The Review of Symbolic Logic8 citations Open access
Semantic Scholar
The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives
Paolo Pistone, L. Tranchini, Mattia Petrolo
2021Studia Logica: An International Journal for Symbolic Logic6 citations Open access
Semantic Scholar
The Yoneda Reduction of Polymorphic Types (Abstract)
Paolo Pistone, L. Tranchini
2019SOQE@KR6 citations
Semantic Scholar
The naturality of natural deduction (II). Some remarks on atomic polymorphism
Paolo Pistone, L. Tranchini, Mattia Petrolo
2019arXiv.org6 citations
Semantic Scholar
Truth from a Proof-Theoretic Perspective
L. Tranchini
20126 citations
Semantic Scholar
Stabilizing Quantum Disjunction
L. Tranchini
2018Journal of Philosophical Logic4 citations Open access
Semantic Scholar
Proof and truth. An anti-realist perspective
L. Tranchini
20134 citations
Semantic Scholar
How to Ekman a Crabbé-Tennant
P. Schroeder-Heister, L. Tranchini
2018Synthese3 citations
Semantic Scholar
Proof-theoretic harmony: towards an intensional account
L. Tranchini
2016Synthese3 citations Open access
Semantic Scholar
Truth: An Anti-realist Adequacy Condition
L. Tranchini
20103 citations
Semantic Scholar
What's Decidable about (Atomic) Polymorphism
Paolo Pistone, L. Tranchini
2021International Conference on Formal Structures for Computation and Deduction2 citations
Semantic Scholar
Proving properties of polymorphic programs using type isomorphisms with the Yoneda lemma.
Paolo Pistone, L. Tranchini
20201 citations
Semantic Scholar
Intensional harmony as isomorphism
Paolo Pistone, L. Tranchini
20201 citations
Semantic Scholar
Polymorphism and the free bicartesian closed category
Paolo Pistone, L. Tranchini
2019arXiv.org1 citations
Semantic Scholar
Paradox and Inconsistency: Revising Tennant’s Distinction Through Schroeder-Heister’s Assumption Rules
L. Tranchini
20151 citations
Semantic Scholar
Equality and Apartness in Bi-intuitinistic Logic
Paolo Maffezioli, L. Tranchini
2021Logical Investigations0 citations Open access
Semantic Scholar
(I can’t get no) antisatisfaction
P. Cobreros, Elio La Rosa, L. Tranchini
2020Synthese0 citations Open access
Semantic Scholar
Proof, Meaning and Paradox: Some Remarks
L. Tranchini
2018Topoi0 citations
Semantic Scholar
How to Ekman a Crabbé-Tennant
P. Schroeder-Heister, L. Tranchini
2018Synthese0 citations
Semantic Scholar
The Naturality of Natural Deduction
L. Tranchini, Paolo Pistone, Mattia Petrolo
2017Studia Logica: An International Journal for Symbolic Logic0 citations
Semantic Scholar
A refutation calculus for intuitionistic logic
G. Bellin, L. Tranchini
20170 citations
Semantic Scholar
Nankhwali farm. One of the largest commercial multipliers of quality sweetpotato planting material in Malawi.
L. Tranchini, T. Remington, P. Nyasulu
20150 citations
Semantic Scholar
Emptiness and Discharge in Sequent Calculus and Natural Deduction
Michael Arndt, L. Tranchini
20140 citations
Semantic Scholar
Truth from a Proof-Theoretic Perspective
L. Tranchini
2012Topoi0 citations
Semantic Scholar
Anti-realistic Notions of Truth
L. Tranchini
20120 citations
Semantic Scholar
Anti-realistic Notions of Truth
L. Tranchini
2012Topoi0 citations
Semantic Scholar
Natural Deduction for Dual-intuitionistic Logic
L. Tranchini
2012Studia Logica: An International Journal for Symbolic Logic0 citations
Semantic Scholar