实质推演还有另外一种划分方法，即把它分为有联系的和无联系的。所谓有联系的实质推演即它的真是由于前件中的某一词项与后件的某一词项具有某种指代或意义的联系；而所谓无联系的实质推演就是指它的真仅仅由于前件的假或不可能，或者后件的真或必然。有联系的实质推演相当于“省略三段论”。如“如果人在跑则动物在跑”之所以成立是由于前件中的“人”和后件中的“动物”具有某种指代或意义的联系，即“所有的人是动物”，这只不过是省略三段论中被隐含的前提。这种联系在中世纪逻辑学家看来是一种必然的联系。另外还有一种偶然联系，如“苏格拉底是白的人”。下面的推演“如果苏格拉底在跑则一个白的人在跑”也是一个有联系的实质推演，它的成立就是由于“苏格拉底”与“白的人”具有的意义或指代的偶然联系。奥卡姆和斯特罗德把这种有联系的实质推演也看成是形式推演，当然，并不是对所有的词项而是对处于推演中的词项来说是形式的。无联系的实质推演，即前件中的词项与后件中的词项无任何指代或意义联系的实质推演。斯特罗德把它叫做“单纯实质推演”，并举了下面的例子加以说明：“某人是个驴子，所以，棍棒立在角落里”。奥卡姆对此作了同样的理解并给了如下的例子：“某人在跑，所以，上帝存在”（“上帝存在”是必然命题）；“某人是驴子，所以上帝不存在”（二者都是不可能命题），并且他们给出了与此相关的两条规则：（1）无论什么东西都可从不可能推出；（2）无论什么东西都可推出必然。 布里丹提出此两条规则作为绝对推演的规则，但他又提出两条规则作为当下实质推演的规则：（1）假命题可推出任何命题；（2）真命题可从任何命题推出。 这就是现代逻辑中的“严格蕴涵怪论”和“实质蕴涵怪论”。
    在谈到推演的分类中，中世纪逻辑学家一致地讲到了推演的还原问题，即把实质推演变为形式推演。他们之所以强调推演的还原，是因为在他们看来，条件命题与一个推理是一致的。推理都可以表示为条件命题，即推演，而只有形式推演才表示推演的规律、规则。然而实质推演并不是形式的，并不能满足我们的需要。所以要把实质推演变成形式推演，而这种转变就要通过还原。所谓还原就是给实质推演的前件增加一定的命题，通过一些形式有效的规则推出后件。由于有不同的实质推演，因此也就有不同的还原方法。布里丹这样说：“（绝对实质推演）可以通过增加某个或某些必然的命题还原为形式推演，也就是说，这些增加的命题与（绝对实质推演）的前提一起就得到一个形式推演。例如如果我说‘如果人在跑则动物在跑’，那么，我们可以用下面的命题证明它：‘每一个人是动物’。因为，如果每一个人是动物并且人在跑，那么通过形式推演可推出动物在跑。那些通过省略三段论讨论问题的人就是通过这种方式证明其推演的，如果这些推演不是形式推演。……当下实质推演可以通过增加某个或某些为真但并非必然的命题使其成为形式的。”⑩
    在绝对实质推演和当下实质推演中都有两种，一种是前件与后件有内在联系，一种是无内在联系。有内在联系的实质推演相当于省略三段论。因此，这种推演的还原就是增加一个命题，它与前件的合取根据三段论的规则可形式地推出后件。对于绝对实质推演则增加一个必然命题，布里丹上面所举的例子就是如此；而对于一个当下实质推演则是增加一个当下真而并非必然真的命题。如给“如果苏格拉底在跑，则一个白的人在跑”增加一个偶然命题“苏格拉底是白的人”可使它变为形式推演。对于那些无内在联系的或者说其成立仅仅因为其前件的假或不可能，或者其后件的真或必然的实质推演，则是通过引进一个或几个命题，这个（或这些）命题与前件一起根据命题逻辑的规则形式地推出后件。这里值得注意的是，无联系的实质推演所引进的命题可能不止一个而往往是多个。中世纪逻辑学家经常举下面的例子：“如果苏格拉底不存在则某人是驴子”。他们认为，这是一个无内在联系的或者说单纯实质推演，它的还原可以通过下面的推导表示出来：
    （1）苏格拉底不存在假设
    （2）苏格拉底不存在或某人是驴子（1）析取引入
    （3）苏格拉底存在事实为真命题
    （4）某人是驴子（2）（3）析取消去
    其中引入了“苏格拉底不存在或者某人是驴子”和“苏格拉底存在”两个命题，利用有效推理形式析取引入和析取消去把上面的实质推演变成一个形式的推演，即“如果（苏格拉底不存在）并且（苏格拉底不存在或者某人是驴子）并且（苏格拉底存在），则（某人是驴子）”。因此，从本质上说，实质推演的还原不过是增加命题利用基本的推演规则把实质推演变为推理的规律而已。