Логика множественных выводов - Multiple-conclusion logic - Wikipedia

А логика множественных выводов тот, в котором логическое следствие это связь, ${\displaystyle \vdash }$, между двумя наборы из фразы (или же предложения ). ${\displaystyle \Gamma \vdash \Delta }$ обычно интерпретируется как означающее, что всякий раз, когда каждый элемент ${\displaystyle \Gamma }$ правда, какой-то элемент ${\displaystyle \Delta }$ правда; и всякий раз, когда каждый элемент ${\displaystyle \Delta }$ ложно, некоторый элемент ${\displaystyle \Gamma }$ ложно.

Эта форма логики была разработана в 1970-х гг. Д. Дж. Обувьмит и Тимоти Смайли^[1] но не получил широкого распространения.

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

Смотрите также

• Последовательное исчисление

Рекомендации

1. Д. Дж. Ботсмит и Т. Дж. Смайли, Логика множественного заключения, Cambridge University Press, 1978.