Email Record: Automated deduction in multiple-valued logics /