| Publication | Date of Publication | Type |
|---|
Witnessing Flows in Arithmetic
(available as arXiv preprint) | N/A | Paper |
On Geometric Implications
(available as arXiv preprint) | N/A | Paper |
Universal proof theory: semi-analytic rules and uniform interpolation
Annals of Pure and Applied Logic | 2026-09-08 | Paper |
Proof Complexity of Linear Logics
(available as arXiv preprint) | 2026-01-01 | Paper |
Exponential Gaps Between Intuitionistic Linear Extended Frege Systems
(available as arXiv preprint) | 2026-01-01 | Paper |
Uniform Lyndon interpolation for basic non-normal modal and conditional logics
Journal of Logic and Computation | 2025-09-30 | Paper |
On a generalization of Heyting algebras. I
Studia Logica | 2025-07-28 | Paper |
On geometric implications
Studia Logica | 2025-02-17 | Paper |
Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
(available as arXiv preprint) | 2025-01-01 | Paper |
A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
(available as arXiv preprint) | 2025-01-01 | Paper |
Proof Complexity and Feasible Interpolation
(available as arXiv preprint) | 2025-01-01 | Paper |
Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
(available as arXiv preprint) | 2025-01-01 | Paper |
Universal proof theory: feasible admissibility in intuitionistic modal logics
Annals of Pure and Applied Logic | 2024-12-12 | Paper |
Witnessing flows in arithmetic
Mathematical Structures in Computer Science | 2024-11-29 | Paper |
Universal proof theory: semi-analytic rules and Craig interpolation
Annals of Pure and Applied Logic | 2024-10-07 | Paper |
On a Generalization of Heyting Algebras I
(available as arXiv preprint) | 2024-01-01 | Paper |
An Introduction to Categorical Proof Theory
(available as arXiv preprint) | 2024-01-01 | Paper |
On a Generalization of Heyting Algebras II
(available as arXiv preprint) | 2024-01-01 | Paper |
Mining the surface: witnessing the low complexity theorems of arithmetic
Logic, Language, Information, and Computation | 2023-06-02 | Paper |
scientific article; zbMATH DE number 7668091 (Why is no real title available?)
(available as arXiv preprint) | 2023-03-24 | Paper |
Uniform Lyndon interpolation for intuitionistic monotone modal logic
(available as arXiv preprint) | 2023-03-24 | Paper |
| Universal Proof Theory: Feasible Admissibility in Intuitionistic Modal Logics | 2022-09-19 | Paper |
Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics
(available as arXiv preprint) | 2022-08-10 | Paper |
Uniform Lyndon interpolation for intuitionistic monotone modal logic
(available as arXiv preprint) | 2022-08-09 | Paper |
Uniform Lyndon interpolation for basic non-normal modal logics
(available as arXiv preprint) | 2022-06-24 | Paper |
Implication via spacetime
(available as arXiv preprint) | 2021-03-19 | Paper |
| Universal Proof Theory: Semi-analytic Rules and Craig Interpolation | 2018-08-19 | Paper |
| Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation | 2018-08-19 | Paper |
| Computational Flows in Arithmetic | 2017-11-06 | Paper |
| Geometric Modality and Weak Exponentials | 2017-11-06 | Paper |
| Provability Interpretation of Propositional and Modal Logics | 2017-04-20 | Paper |
Provability Logics of Hierarchies
(available as arXiv preprint) | 2017-04-20 | Paper |
| Russellian Propositional Logic and the BHK Interpretation | 2017-04-20 | Paper |
Provability Interpretation of Propositional and Modal Logics
(available as arXiv preprint) | 2017-01-01 | Paper |
Russellian Propositional Logic and the BHK Interpretation
(available as arXiv preprint) | 2017-01-01 | Paper |
Computational Flows in Arithmetic
(available as arXiv preprint) | 2017-01-01 | Paper |
Geometric Modality and Weak Exponentials
(available as arXiv preprint) | 2017-01-01 | Paper |
