أرسل هذا في رسالة قصيرة: Results in non-classical propositional logic.