Title: The propositional logic of Boethius