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: Fermuller, CG

Citation: Cg. Fermuller, Implicational completeness of signed resolution, LECT N A I, 1761, 2000, pp. 167-174