Email Record: The propositional logic of Avicenna /