。 查看详情

提要：本文不从概念的外延和内涵出发，而是将概念作为初始出发点，按照概念结构整体论的观点，在思想—概念—语言三者统一的基础上，建立概 查看详情

提要：保真性是是实质蕴涵的重要性质，本文将保真性推广有限全序中，用这推广的“保真性”给出蕴涵在有限全序中的语义条件，从而给出了完整 查看详情

提要：问题可以用逻辑公式表示，也可以用计算机计算。这就注定了逻辑表示和机器计算是密切关联的概念。本报告就是探讨两者之间的关联。一方 查看详情