论文部分内容阅读
真性模态和道义模态之间存在着类似和区别,在此基础上给出冯·赖特道义逻辑的经典系统,说明经典道义逻辑在向标准道义逻辑发展.
真性模态、道义模态和现代道义逻辑的经典系统
【摘 要】
：
真性模态和道义模态之间存在着类似和区别,在此基础上给出冯·赖特道义逻辑的经典系统,说明经典道义逻辑在向标准道义逻辑发展.
【机 构】
：
广州市社会科学院,广州,510045
【出 处】
：
湘潭师范学院学报（自然科学版）
【发表日期】
：
2000年5期
其他文献
依据世界优秀 1 1 0 m栏运动员大赛的资料 ,剖析了对该项目进行评价的两种方法 ,即时空参数评价法和综合评价法进行剖析 ,制定出不同水平 1 1 0 m跨栏跑运动员定量性评价系数
为连接重尾性操作风险的度量模型与管理模型,以弹性分析方法对重尾性操作风险价值的灵敏度进行了理论分析,建立了操作风险关键管理参数的判别模型,并以示例验证了该模型的有
将随机集证据推理应用于军事信息系统软件可靠性建模研究,采用其分析软构件故障过程,计算软构件可靠性参数,并在此基础上构建了一个基于随机集证据推理-贝叶斯网络的军事信息
本文讨论了有限域上一般距离函数的三个重要性质,并得到了它们在编码理论中关于码的纠错能力、MacWilliams恒等式以及Plotkin界方面的应用.
设p＞1,β≥0是常数,n是自然数,f:R+×R+×R+→R是一个连续函数.本文研究形如△(|△nu|p-2(△nu))=f(|x|,u,|▽u|)u-β,x∈RN(N≥3)的奇异非线性p-调和方程的正整体解,给出了该
本文从直观优化思想出发,提出一种逐点优化模糊推理方法,称之为POFI方法.首先分别给出了基于POFI方法的Mamdani蕴涵算子、代数积蕴涵算子和Zadeh蕴涵算子的FMP算法与FMT算法
本文通过修改JM模型给出了一种新的软件可靠性模型,并对软件可靠度给出了点估计和置信限.对实际数据的分析表明这种新模型的预测能力比JM模型要好.
本文研究了整数规划连续化的途径,对一类非线性两级整数规划问题的上级规划连续化以后采用模拟退火算法;其对应的下级规划问题采用离散搜索法求解,从而给出了求解一类非线性