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

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

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

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

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

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

Ссылки

Эта статья о логике - незавершенная . Вы можете помочь Википедии, расширив ее . v т е