Văn bản này: Results in non-classical propositional logic.