Title: Propositional Logic of Avicenna : A Translation from Al-Shif