وأفتى. من آثاره: مصنف في شرح التنبيه لأبي إسحاق، ومصنف في الأصول.
(ط) اليافعي: مرآة الجنان 3: 302 محمد حكيم شاه (000 - 920 ه‍) (1) (000 - 1514 م) محمد بن مبارك القزويني، شاه الهروي، ثم الرومي، الحنفي، المعروف بحكيم شاه. متكلم، نحوي، منطقي توفي في حدود سنة 920 ه‍ (2) من آثاره: شرح الكافية لابن الحاجب في النحو وسماه كشف الحقائق، حاشية على شرح العقائد العضدية، حاشية على شرح عقائد النسفي للتفتازاني، ربط السور والآيات، وشرح ايساغوجي في المنطق.
(ط) حاجي خليفة: كشف الظنون 208، 832، 1144، 1146، 1371، 1893، البغدادي: هدية العارفين 2: 229 محمد الفاروقي (000 - 1162 ه‍) (000 - 1749 م) محمد مبارك بن محمد دائم الفاروقي، الكوفاموي. منطقي. من آثاره:
شرح سلم العلوم في المنطق.
(خ) فهرس المؤلفين بالظاهرية (ط) المكتبة البلدية: فهرس المنطق 29 محمد بن الخل (482 (3) - 552 ه‍) (4) (1089 - 1157 م) محمد بن المبارك بن محمد بن عبد الله ابن محمد البغدادي، الشافعي، المعروف بابن الخل (أبو الحسن) فقيه، أصولي، محدث. تفقه على أبي بكر الشاشي، وكان يفتي ويدرس في مسجده بالرحبة شرقي بغداد، وسمع الحديث من الحسين بن أحمد البسري، وروى عنه أبو سعد السمعاني وغيره، وتوفي ببغداد في المحرم