Email Record: Non-standard logics for automated reasoning /