可检索词： （英文）题名=T 作者=A 关键词=K 摘要=R 机构=O 主题=S 刊名=M 分类号=N
检索规则说明： [&]代表"并且"；[|]代表"或者"；[!]代表"不包含" (运算符两边不需要空格)
检索范例： 范例一：(k=科技[|]k=技术)[&]t=范并思 范例二：t=计算机应用与软件[&](R=C++[|]R=Basic)[!]t=西华师范大学
主办单位：
出版地：
ISSN：
主编：
邮发代号：
中图分类号： 选择
作 者： ;
机构地区： 中山大学人文科学学院逻辑与认知研究所
出 处： 《南京大学学报（数学半年刊）》 2001年第1期109-113,共5页
摘 要： 本文首先定义了模态命题公式□a的布尔值,然后证明:模态命题逻辑的正规系统K、D和T以及严格蕴涵系统S1和S2的所有公理的布尔值为1.最后,证明了VB是K.D和T以及S1和S2的布尔值模型.
关 键 词： 布尔值 布尔值模型 模态公理 正规系统 模态命题系统 布尔代数 严格蕴涵系统
领 域： [理学] [理学]
