Anfonwch hwn fel neges destun: Results in non-classical propositional logic.