George Metcalfe

• Proof theory for fuzzy logics
• Residuated Structures in Algebra and Logic
• The watermark disease of willows