Proof Theory for Fuzzy Logics (with N. Olivetti and D. Gabbay).
Springer Series in Applied Logic Vol. 36,
2008,
webpage.
A Sequent Calculus for Constructive logic with Strong Negation as a Substructural Logic.
Bulletin of the Section of Logic, 38(1) (2009), 1-7.
Giles's Game and Proof Theory for Lukasiewicz Logic (with C. G. Fermuller).
Studia Logica, 92(1), 2009.
Structural Completeness for Fuzzy Logics (with P. Cintula).
Notre Dame Journal of Formal Logic 50(2) (2009), 153-183.
Proof Theory for Admissible Rules (with R. Iemhoff).
Annals of Pure and Applied Logic 159(1-2) (2009), 171-186.
Herbrand's Theorem, Skolemization, and Proof Systems for First-Order Lukasiewicz Logic (with M. Baaz).
Journal of Logic and Computation, to appear.
Density Elimination (with A. Ciabattoni).
Theoretical Computer Science 403 (2008), 328-346.
Substructural Fuzzy Logics (with F. Montagna).
Journal of Symbolic Logic 72(3), pages 834-864, 2007.
Fuzzy Logics Based on [0,1)-Continuous Uninorms (with D. Gabbay).
Archive for Mathematical Logic 46(6), pages 425-469, 2007.
Normal Forms for Fuzzy Logics: a Proof-Theoretic Approach (with P. Cintula).
Archive for Mathematical Logic 46(5), pages 347-363, 2007.
Proof Calculi for Casari's Comparative Logics.
Journal of Logic and Computation 16(4):405-422, 2006.
Sequent and Hypersequent Calculi for Abelian and Lukasiewicz logics (with N. Olivetti and D. Gabbay).
ACM Transactions on Computational Logic 6(3): 578-613, 2005.
Lukasiewicz Logic: From Proof Systems to Logic Programming (with N. Olivetti and D. Gabbay).
Logic Journal of the IGPL 13,: 561-585, 2005.
Hypersequents and Fuzzy Logic (with N. Olivetti and D. Gabbay).
Revista de la Real Academia de Ciencias 98(1), pages 113-126, 2004.
Analytic Proof Calculi for Product Logics (with N. Olivetti and D. Gabbay).
Archive for Mathematical Logic 43(7), pages 859-889, 2004.
Conference and Workshop Papers
Proof Systems for a Godel Modal Logic (with N. Olivetti).
Submitted.
Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics (with R. Iemhoff).
Proceedings of LFCS 2009, volume 5407 of LNCS, 230-245, 2009.
Herbrand Theorems and Skolemization for Prenex Fuzzy Logics (with M. Baaz).
Proceedings of CiE 2008, volume 5028 of LNCS, pages 22-31, 2008.
Proof Theory for First Order Lukasiewicz Logic (with M. Baaz).
Proceedings of TABLEAUX 2007, volume 4548 of LNAI, pages 28-42, Springer, 2007.
Density Elimination and Rational Completeness for First Order Logics (with A. Ciabattoni).
Proceedings of LFCS 2007, volume 4514 of LNCS, pages 132-146, 2007.
Adding Modalities to MTL and its Extensions (with A. Ciabattoni and F. Montagna).
To appear in Proceedings of the Linz Symposium, 2005.
Uniform Rules and Dialogue Games for Fuzzy Logics (with A. Ciabattoni and C. Fermüller).
Proceedings of LPAR 2004, volume 3452 of LNAI, pages 496-510, 2005.
Goal-Directed Methods for Lukasiewicz Logic (with N. Olivetti and D. Gabbay).
Proceedings of CSL 2004, volume 3210 of LNCS, pages 85-99. Springer, 2004.
Uninorm Based Logics.
Proceedings of EUROFUSE 2004, pages 85-99, Exit Press, 2004.
Bounded Lukasiewicz Logics (with A. Ciabattoni).
Proceedings of TABLEAUX 2003, volume 2796 of LNCS, pages 32-48. Springer, 2003.
Goal-directed calculi for Godel-Dummett Logics (with N. Olivetti and D. Gabbay).
Proceedings of CSL 2003, volume 2803 of LNCS, pages 413-426. Springer, 2003.
Proof Theory for Product Logics (with N. Olivetti and D. Gabbay).
Neural Network World 13(5), pages 549-558, 2003.
Analytic Sequent Calculi for Abelian and Lukasiewicz Logics (with N. Olivetti and D. Gabbay).
Proceedings of TABLEAUX 2002, volume 2381 of LNCS, pages 191-205, Springer, 2002.
Goal-Directed Methods for Fuzzy Logics (with N. Olivetti).
Festschrift in honour of Dov Gabbay's 60th birthday, King's College Publications, London, 2005.
Proof Theory for Propositional Fuzzy Logics.
PhD Thesis, Department of Computer Science, King's College London, 2004.
Admissible Rules in Logic and Algebra.
Submitted for Habilitation, Vienna University of Technology, 2009.
