Authors: Baaz, M Ciabattoni, A Fermuller, CG

Citation: M. Baaz et al., A natural deduction system for intuitionistic fuzzy logic, ADV SOFT CO, 2001, pp. 1-18

Authors: Baaz, M Leitsch, A

Citation: M. Baaz et A. Leitsch, Cut-elimination and redundancy-elimination by resolution, J SYMB COMP, 29(2), 2000, pp. 149-176

Authors: Baaz, M Veith, H

Citation: M. Baaz et H. Veith, Interpolation in fuzzy logic, ARCH MATH L, 38(7), 1999, pp. 461-489

Authors: Baaz, M

Citation: M. Baaz, Note on the generalization of calculations, THEOR COMP, 224(1-2), 1999, pp. 3-11

Authors: Baaz, M Leitsch, A

Citation: M. Baaz et A. Leitsch, Cut normal forms and proof complexity, ANN PUR APP, 97(1-3), 1999, pp. 127-177