| Publication | Date of Publication | Type |
|---|
| The Yoneda reduction of polymorphic types | 2026-03-23 | Paper |
| Intensional harmony as isomorphism | 2024-10-01 | Paper |
Harmony and paradox. Intensional aspects of proof-theoretic semantics
Trends in Logic -- Studia Logica Library | 2024-03-05 | Paper |
(I can't get no) antisatisfaction
Synthese | 2023-12-14 | Paper |
What’s Decidable About (Atomic) Polymorphism?
(available as arXiv preprint) | 2023-06-23 | Paper |
Proof-theoretic harmony: towards an intensional account
Synthese | 2023-03-30 | Paper |
Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
Journal of Philosophical Logic | 2023-01-23 | Paper |
Equality and Apartness in Bi-intuitinistic Logic
Logical Investigations | 2023-01-16 | Paper |
The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
Studia Logica | 2022-03-23 | Paper |
Paradox and inconsistency: revising Tennant's distinction through Schroeder-Heister's assumption rules
Boston Studies in the Philosophy and History of Science | 2020-02-04 | Paper |
Proof, meaning and paradox: some remarks
Topoi | 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
Studia Logica | 2019-05-15 | Paper |
Stabilizing quantum disjunction
Journal of Philosophical Logic | 2018-12-19 | Paper |
| scientific article; zbMATH DE number 6851095 (Why is no real title available?) | 2018-03-16 | Paper |
Natural deduction for bi-intuitionistic logic
Journal of Applied Logic | 2018-01-31 | Paper |
Ekman's paradox
Notre Dame Journal of Formal Logic | 2017-11-06 | Paper |
The naturality of natural deduction
(available as arXiv preprint) | 2016-07-22 | Paper |
Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
Journal Of Logic And Computation | 2016-07-07 | Paper |
HARMONISING HARMONY
The Review of Symbolic Logic | 2015-10-20 | Paper |
Emptiness and discharge in sequent calculus and natural deduction
Recent Trends in Philosophical Logic | 2015-06-29 | Paper |
Truth from a proof-theoretic perspective
Topoi | 2015-03-27 | Paper |
| An analogy in Dummett's view on truth- and proof-conditional meaning theories | 2013-10-23 | Paper |
| The role of negation in proof-theoretic semantics: a proposal | 2013-01-27 | Paper |
Natural deduction for dual-intuitionistic logic
Studia Logica | 2012-12-12 | Paper |
