Luca Tranchini

Available identifiers

zbMath Open tranchini.lucaMaRDI QIDQ694490

List of research outcomes

Publication	Date of Publication	Type
(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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Luca Tranchini