Arabic Logic from al-Farabi to Averroes