다중 결합 논리

다중 컨버전스 논리는 논리적 결과인$$propos {\$displaystyle \vdash }$이$($가) 두 문장(또는 명제) 사이의 관계인 논리다.${\displaystyle \Gamma \vdash \Delta }$ is typically interpreted as meaning that whenever each element of ${\displaystyle \Gamma }$ is true, some element of ${\displaystyle \Delta }$ is true; and whenever each element of ${\displaystyle \Delta }$ is false, some element of ${\displaystyle \Gamma }$ is false.

이러한 형태의 논리는 D. J. 슈즈미스와 티모시 스마일리에 의해^[1] 1970년대에 개발되었지만 널리 채택되지는 않았다.

일부 논리학자는 후자가 비대칭(비공식적, 비수리적 의미)이라는 이유로 전통적인 단일 결합 관계보다 다중 결합 결과 관계를 선호하고 거짓(또는 부인에 대한 주장)보다 진실을 선호한다.

참고 항목

• 시퀀스 미적분학

참조

이 논리와 관련된 글은 단조롭다.위키피디아를 확장하여 도울 수 있다.

• v
• t