Research

LIST OF SCIENTIFIC PUBLICATIONS BY TOPIC

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

Algebraic Logic

• The Jacobson Radical of a propositional theory (with P. Schuster & D. Wessel)
• A General Glivenko-Gödel Theorem for Nuclei (with P. Schuster)

Proof Theory

• Modal logic for induction (with S. Negri & P. Schuster)
• Constructive cut-elimination in geometric logic (with E. Orlandelli & S. Negri)
• Glivenko sequent classes and constructive cut elimination in geometric logics (with E. Orlandelli & S. Negri)

Set Theory

• A generalization of Cantor’s theorem

---