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
