The Propositional Logic of Avicenna