Seol mar théacs é seo: Results in non-classical propositional logic.