欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
在模态逻辑系统S5中提出了任意一模态公式关于一个极大相容理论的存在状态及状态描述等一系列概念,并且借助状态描述这一工具研究了相容理论的相容扩张,最后给出了模态逻辑系统S5中极大相容理论的一个结构刻画,证明了任何一个极大相容理论都是所有简单合取式和简单析取式的相容存在状态之集的理论闭包.
英文摘要：
The present paper proposes the definitions of state description and existing state for a formula with respect to a maximal consistent theory. Some important properties of consistent theory are obtained by using state description as the tool. Then, it is proved that maximal consistent theory is just the theoretical closure of consistent exist state of all simple disjunctive formulas and conjunctive ones.
同期刊论文项目
同项目期刊论文
期刊信息
位置：