形式刻画相关论文
一不同形式的蕴涵
蕴涵关系是自然语言表达中经常使用的一种表达方式，也是人们在进行判断、推理等思维活动时所依据的极为重要的逻......
在并发系统的研究领域，时序逻辑常被用来刻画和推理并发系统的性质及行为。时序逻辑包括线性时间时序逻辑、分支时间时序逻辑及偏序......
利用形式语言及矩阵的运算等价地重新定义了“基”、“线性变换”等概念，并对它们的性质进行了研究，使得许多问题的处理变成机械的推......
正因为“平淡”是要求用平淡的语言形式刻画鲜明的形象和表现浓烈的感情，所以平淡境界的特征是外在表现的平淡，内含的丰富。这就是司......
运用认知范畴论的观点对动宾谓语句作类典型和非类典型的划分，着力分析这两类语句的不同特征；在此基础上，作者借助一阶谓词逻辑、类型......
由于语词存在模糊性，使得包含这种语词的命题也具有模糊性。在不同的语境中，同一模糊命题具有不同的真值，它们可以划分为“极”“很”......
传统的观点认为保持系统刻画的协调性1是并发系统开发过程基本的要求,但随着所设计并发系统的规模越来越大,功能越来越复杂,使得自......
在《墨经》的逻辑思想中，始终贯穿着对于语词所指确定性的不懈追求。《墨经》的作者对于逻辑规律的思考并不拘泥于逻辑规律本身，而是......
现实的需要是理论发展的推动力,以形式化刻画为特征的现代逻辑亦是如此。决策理论直接与现实相关,无论是求行为最优的个体决策还是......
