Email-запись: Логика высказываний и теория вывода