Логика множественного вывода

Логика с множественными выводами — это логика, в которой логическое следствие является отношением . $\vdash$, между двумя наборами предложений суждений (или ) . $\Gamma \vdash \Delta$ обычно интерпретируется как означающий, что всякий раз, когда каждый элемент $\Gamma$ правда, какой-то элемент $\Delta$ это правда; и всякий раз, когда каждый элемент $\Delta$ ложно, какой-то элемент $\Gamma$ является ложным.

Эта форма логики была разработана в 1970-х годах DJ Shoesmith и Тимоти Смайли. но не получил широкого распространения.

Некоторые логики предпочитают отношение следствия с множественным выводом более традиционному отношению с одним выводом на том основании, что последнее асимметрично (в неформальном, нематематическом смысле) и отдает предпочтение истине ложности (или утверждению, а не отрицанию).

См. также

• Секвенционное исчисление