What became the nondominant system of Islamic logic