摘要

在本文中,我们通过研究一个非常简单但信息量很大的案例,即析取与连接逻辑的组合,来解决逻辑组合的一些核心问题。起初,组合这些逻辑似乎很容易,但出现了以下问题:如果我们直接组合这些逻辑,分配性就成立了。另一方面,如果我们在结果关系之间使用通常的扩展概念,则不会出现分配性。对这一现象进行了详细的讨论,并对其进行了解释。

此内容仅以PDF格式提供。
您当前没有访问此文章的权限。