多結論論理

多重結論論理とは、論理的帰結が関係である論理のことである。${\displaystyle \vdash }$2つの文（または命題） の間にある。${\displaystyle \Gamma \vdash \Delta }$は、各要素が${\displaystyle \Gamma }$確かに、${\displaystyle \Delta }$が真である場合、各要素が${\displaystyle \Delta }$偽である、${\displaystyle \Gamma }$これは誤りである。このような解釈は、ゲルハルト・ゲンツェンの多重連続シーケント計算LKの解釈に関連しているが、ゲンツェンは彼のシーケントを解釈している。${\displaystyle \Gamma \vdash \Delta }$数式として${\displaystyle (\bigwedge \Gamma )\supset (\bigvee \Delta )}$[ ^{1 ]​}

この論理形式は1970年代にDJ ShoesmithとTimothy Smileyによって開発されたが^{[ 2 ]}、広く採用されてはいない。

一部の論理学者（例えば、グレッグ・レスタル^{[ 3 ]}）は、より伝統的な単一結論関係よりも複数結論関係を支持している。その理由は、後者が（非形式的で非数学的な意味で）非対称であり、真実を偽りよりも（あるいは主張を否定よりも）優先するからである。

• シーケント計算