Энтимема – сокращенный силлогизм, в котором пропущено одно из суждений (посылка либо вывод).
Сложный силлогизм (полисиллогизм) – состоит из нескольких связанных между собой простых силлогизмов, при этом вывод предшествующего силлогизма является посылкой следующего.
Прогрессивный полисиллогизм – полисиллогизм, в котором вывод предшествующего силлогизма становится большей посылкой последующего силлогизма.
Регрессивный полисиллогизм – полисиллогизм, в котором вывод предшествующего силлогизма становится меньшей посылкой последующего силлогизма.
Сорит – сокращенный полисиллогизм, в котором пропускается одна из посылок простых силлогизмов.
Эпихейрема — сложносокращенный силлогизм, в котором обе посылки представляют собой сокращенные простые категорические силлогизмы (энтимемы).
Чисто условное умозаключение – умозаключение, в котором обе посылки являются условными суждениями.
Условно-категорическое умозаключение – умозаключение, в котором одна из посылок – условное суждение, а другая – простое категорическое суждение.
Правильные модус (дают вывод с необходимостью: утверждающий модус, отрицающий модус).
Вероятностные модусы (не гарантируют истинности вывода).