期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
加权加标网络的稳定与平衡
1
作者 王轶 董惠敏 《逻辑学研究》 CSSCI 2024年第4期35-53,共19页
经典结构平衡理论对不带权重的加标网络有较为完善的研究。Morrissette(1958)将结构平衡理论推广到加权加标网络并加以经验研究。近年来出现了基于时态逻辑CTL的结构平衡逻辑研究,但所探讨的社会网络局限于不带权重的加标网络。本文将... 经典结构平衡理论对不带权重的加标网络有较为完善的研究。Morrissette(1958)将结构平衡理论推广到加权加标网络并加以经验研究。近年来出现了基于时态逻辑CTL的结构平衡逻辑研究,但所探讨的社会网络局限于不带权重的加标网络。本文将结构平衡逻辑推广到带权重的加标网络,引入几种适用的形式语言和语义,探讨由此得到的几个逻辑的表达能力,并给出证明系统。 展开更多
关键词 加权加标网络 结构平衡理论 稳定性 平衡性 分支时间逻辑
下载PDF
决定论与非决定论的物理学基础以及逻辑刻画方法
2
作者 贾青 赵和静 《毕节学院学报（综合版）》 2012年第12期35-37,共3页
自然科学的发展不但会使得人类对世界的认知不断加深,还会进一步影响哲学领域中的很多传统问题、甚至成为其科学基础。从物理学,特别是力学的不同分支出发,说明经典力学、量子力学、狭义相对论的发展对决定论以及非决定论的影响并在此... 自然科学的发展不但会使得人类对世界的认知不断加深,还会进一步影响哲学领域中的很多传统问题、甚至成为其科学基础。从物理学,特别是力学的不同分支出发,说明经典力学、量子力学、狭义相对论的发展对决定论以及非决定论的影响并在此基础上初步介绍其逻辑刻画方法。 展开更多
关键词 决定论 非决定论 力学 分支时间逻辑 分支时空逻辑
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部