论文部分内容阅读
本文首先定义了模态命题公式□a的布尔值,然后证明:模态命题逻辑的正规系统K、D和T以及严格蕴涵系统S1和S2的所有公理的布尔值为1.最后,证明了VB是K.D和T以及S1和S2的布尔值模型.
关于模态命题系统的一种布尔值模型
【摘 要】
：
本文首先定义了模态命题公式□a的布尔值,然后证明:模态命题逻辑的正规系统K、D和T以及严格蕴涵系统S1和S2的所有公理的布尔值为1.最后,证明了VB是K.D和T以及S1和S2的布尔值
【机 构】
：
中山大学逻辑与认知研究所
【出 处】
：
南京大学学报：数学半年刊
【发表日期】
：
2001年1期
【基金项目】
：
普通高等学校社会社会科学重点研究基地基金
其他文献
在欧几里得空间中，Ｆｒｏｓｔｍａｎ引理是联系广义位势理论和Ｈａｕｓｄｏｒｆｆ测试的一个有用的工具。我们得到了概率空间中Ｂｉｌｌｉｎｇｓｌｅｙ定义的Ｈａｕｓｄｏｒｆｆ测度的类似结果。
设，n≥5，a，b≠0．n∈N，a,b∈Z，本文利用Gel’found-Baker方法证明了，如果三项式，χ^n+bχ+a有二次整系数因式，则除了，n=2(mod 6)且b=1，a=-1．与n=22(mod 3)且b=-1,a=-1这些明显情形外，必定有
Phosphatidylserine(PS) is located predominantly in the inner face of the cell membrane and is nearly absent from the external face of the membrane in both eryth