极大相容理论相关论文
在不使用系统￡*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必......
进一步研究了形式系统L＊中极大相容理论的Stone拓扑性质,给出了开、闭集的结构刻画;在全体极大相容理论之集上引入了一种三值拓扑,......
在模态逻辑系统S5中提出了任意一模态公式关于一个极大相容理论的存在状态及状态描述等一系列概念,并且借助状态描述这一工具研究......
紧致性是模糊逻辑的一个重要性质．现已经证明Lukasiewicz命题逻辑、Godel命题逻辑、乘积命题逻辑和形式系统L^＊都是紧的．通过刻画逻辑......
通过研究Lukasiewicz模糊命题逻辑系统中极大相容理论的基本性质,证明了每个极大相容理论都是某赋值的核,反过来,每个赋值的核也都......
为描述经典命题逻辑中全体公式之集F（S）的拓扑结构,基于理论Γ在F（S）上诱导的同余关系构建一致结构与一致拓扑.证明了所得的一致拓扑是......
在不使用系统L^＊的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必......
为给模糊推理建立严格的逻辑基础，本文第二作者在1997年提出了一种新型的模糊命题演绎系统L^＊。本文基于系统L^＊的强完备性定理给出了......
