Логика множественного вывода — это логика, в которой логическое следствие представляет собой отношение между двумя наборами предложений (или суждений ). Обычно интерпретируется так, что всякий раз, когда каждый элемент истинен, какой-то элемент истинен; и всякий раз, когда каждый элемент ложен, какой-то элемент ложен.
Эта форма логики была разработана в 1970-х годах Диджеем Шузмитом и Тимоти Смайли [1], но не получила широкого распространения.
Некоторые логики отдают предпочтение отношению следствия с множественными выводами, а не более традиционному отношению с одним выводом, на том основании, что последнее асимметрично (в неформальном, нематематическом смысле) и предпочитает истину ложности (или утверждение отрицанию).
