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

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

SET THEORY

• A generalization of Cantor’s theorem

---