Research

LIST OF SCIENTIFIC PUBLICATIONS

This list may not be complete or up-to-date.

2023 – A terminating intuitionistic calculus (with S. Negri)
2023 – Glivenko sequent classes and constructive cut elimination in geometric logics (with E. Orlandelli & S. Negri)
2022 – Constructive cut-elimination in geometric logic (with E. Orlandelli & S. Negri)
2022 – The Jacobson Radical of a propositional theory (with P. Schuster & D. Wessel)
2021 – A General Glivenko-Gödel Theorem for Nuclei (with P. Schuster)
2020 – Modal logic for induction (with S. Negri & P. Schuster)
2018 – A generalization of Cantor’s theorem


A 3D model of a 3-atomic Boolean Algebra getting quotiented into a 2-atomic Boolean Algebra getting quotiented into a degenerate Boolean Algebra (0=1).