模态系统相关论文
<正> 模态逻辑是伴随着现代逻辑的兴起而产生的,它创立于十九世纪末至本世纪三十年代。创始人刘易斯(C.I.Lewis,1883—1964)从分析......
通过在卢卡西维茨(Lukasiewicz)的三值命题逻辑系统之上添加“相信(B)”、“怀疑(D)”和“无知(U)”三个认知模态算子。一个形式的......
本刊1992年第6期刊发了张金成同志的《辩证逻辑形式化的研究》一文后,陆续收到了一些稿件,对张文展开了讨论。我们本着“百花齐放,......
模态系统的推理规则可以用强弱虚实这四种性质进行分类.在一个系统中这几种性质无论在语形上还是语义上都有一定的联系和区别,有些......
将多维模态理论应用到求解作横向运动圆柱贮箱中液体的非线性晃动问题.首先通过压力积分变分原理推导出描述液体作非线性晃动的一般......
<正> Kripke语义学是关于模态逻辑形式语义等符号的意义和公式真假的一种理论。模态逻辑是逻辑学的一个古老的分支,近几十年来,它......
应用Floquet—Lyapunov方法研究了作水平横向运动圆柱贮箱中液体“平面”晃动波的稳定性问题。首先利用Narimanov—Moiseev三阶渐......
模态公式4、E和B是直观上难以确认是否成立的一类模态公式.文献[6]证明了:在模型(VB,R,ⅡⅡ)下,当R是VB上的任意一个二元关系时,模......
证明模态系统P5的协调性.即:证明了模态系统P5的所有公理的布尔值为1.亦即:VB(B是一个完全的布尔代数)是模态命题系统P5的布尔值模......
<正> 早在古希腊,亚里士多德就对模态命题作过讨论。但用数理逻辑方法研究模态命题是始于本世纪初。刘易斯(C.I.Lewis)从研究严格......
...
首次将多维模态理论应用到求解航天工程中常见的圆柱贮箱液体非线性晃动问题中。针对贮箱作水平横向运动,根据Narirrmnov-Moiseev的......
晃动是指贮箱中液体自由液面的运动,它是由于对部分充液贮箱施加扰动而引起的。运动或静止贮箱中的液体晃动问题在航空航天、民用......
<正> 一本世纪初,我国少数学者到西方留学,开始接触到数理逻辑这一新兴学科。1920年,英国哲学家和逻辑学家罗素(B.Russell)来我国......