M. Abraham, D. Gabbay and U. Schild. Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal-Vachomer) using Matrix Abduction. Studia Logica 92(3): 281-364 (2009).
Al-Ghazali, Abu Hamid. Al-Qistas al-mustaqim (The Correct Balance). Trans. Richard J. McCarthy. Boston: Tway…