满足性定理相关论文
在不使用系统￡*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必......
通过研究Lukasiewicz模糊命题逻辑系统中极大相容理论的基本性质,证明了每个极大相容理论都是某赋值的核,反过来,每个赋值的核也都......
在不使用系统L^＊的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必......
为给模糊推理建立严格的逻辑基础，本文第二作者在1997年提出了一种新型的模糊命题演绎系统L^＊。本文基于系统L^＊的强完备性定理给出了......
