Institute of Computer Science
University of Bern
Proof Theory for Fuzzy Logics (with N. Olivetti and D. Gabbay). Springer Series in Applied Logic Vol. 36 (284 pages), 2008.
Giles's Game and Proof Theory for Lukasiewicz Logic (with C. G. Ferm?uller). Studia Logica, 92(1) (2009), 27-61.
Fuzzy Logics Based on [0,1)-Continuous Uninorms (with D. Gabbay). Archive for Mathematical Logic 46(6) (2007), 425-449.
Substructural Fuzzy Logics (with F. Montagna). Journal of Symbolic Logic 72(3) (2007), 834-864.
Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics (with N. Olivetti and D. Gabbay). ACM Transactions on Computational Logic 6(3) (2005), 578-613.