Results in non-classical propositional logic | lit.salon