什么是many-sorted first order logic (many-sorted FOL)

其实是个很好理解的东西，但是感觉中文文献对之的解释少之又少，我没有查到，翻译也翻译为多排序的一阶逻辑，跟不久不准确。对于外文文献倒是有，但是限于英语阅读能力有限，实在是都不太懂什么意思。

下面有外文对many-sorted FOL这样解释：

如果您能看懂就是最好，我的解释是多类型的一阶逻辑，这里的类型我理解为int,real,bool,float,char等，就是说这个一阶逻辑包含了多个类型。不知道准不准确，如果有说错还望博友们热心指正。

对于一阶逻辑的概念的解释还是有很多的，这里就不赘述。