Luca Tranchini

Available identifiers

zbMath Open tranchini.lucaMaRDI QIDQ694490

List of research outcomes

Publication	Date of Publication	Type
Intensional harmony as isomorphism	2024-10-01	Paper
Harmony and paradox. Intensional aspects of proof-theoretic semantics	2024-03-05	Paper
(I can't get no) antisatisfaction	2023-12-14	Paper
What’s Decidable About (Atomic) Polymorphism?	2023-06-23	Paper
Proof-theoretic harmony: towards an intensional account	2023-03-30	Paper
Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach	2023-01-23	Paper
Equality and Apartness in Bi-intuitinistic Logic	2023-01-16	Paper
The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives	2022-03-23	Paper
Paradox and Inconsistency: Revising Tennant’s Distinction Through Schroeder-Heister’s Assumption Rules	2020-02-04	Paper
Proof, meaning and paradox: some remarks	2020-01-17	Paper
The naturality of natural deduction (II). Some remarks on atomic polymorphism	2019-08-29	Paper
The Yoneda Reduction of Polymorphic Types (Extended Version)	2019-07-08	Paper
The naturality of natural deduction	2019-05-15	Paper
Stabilizing quantum disjunction	2018-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q4608343	2018-03-16	Paper
Natural deduction for bi-intuitionistic logic	2018-01-31	Paper
Ekman's paradox	2017-11-06	Paper
The naturality of natural deduction	2016-07-22	Paper
Proof-theoretic semantics, paradoxes and the distinction between sense and denotation	2016-07-07	Paper
HARMONISING HARMONY	2015-10-20	Paper
Emptiness and Discharge in Sequent Calculus and Natural Deduction	2015-06-29	Paper
Truth from a proof-theoretic perspective	2015-03-27	Paper
https://portal.mardi4nfdi.de/entity/Q2856091	2013-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4903813	2013-01-27	Paper
Natural deduction for dual-intuitionistic logic	2012-12-12	Paper

Research outcomes over time

This page was built for person: Luca Tranchini