우연 논리는 우연의 논리로, 명제 원자가 동전 던지기 또는 항아리에서 구슬을 뽑는 방식으로 해석됩니다. 명제는 이러한 우연한 사건에 해당하며 그 해석은 본질적으로 확률적입니다. 명제는 참 또는 거짓으로 평가되지 않고 대신 가능성으로 평가되어 퍼지 논리와 유사한 다가치 논리를 제공합니다. 동전이 앞면과 뒷면으로 떨어질 확률이 같다거나 동전이 먼저 뒷면, 그 다음 앞면으로 떨어질 확률이 동전이 먼저 앞면, 그 다음 뒷면으로 떨어지는 확률과 같다는 동등성을 연결하는 등호 관계를 통해 방정식 이론이 제공됩니다. 본 논문에서는 우연 논리를 위한 정제된 구문을 제시하고 방정식 이론을 위한 증명 시스템을 제공합니다.
Tim; id_orcid 0000-0002-0748-8040 French (수요일,) 이 질문을 연구했습니다.