摘要
给出了一阶格值逻辑系统LF(X)中带广义量词的L-型模糊集为闭的扩展定义,得到赋值为闭的结果,证明了LF(X)中带广义量词的弱完备性定理.
In the paper, we give the extended definition of closedness of L-type fuzzy set with generalized quantifiers in the first order logic LF(X) and show that the valuation of LF(X) is closed. The weak completion theorem with generalized quantifiers in LF (X) is proved.
出处
《四川师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2008年第1期6-9,共4页
Journal of Sichuan Normal University(Natural Science)
基金
国家自然科学基金(60474022)
高等学校博士点学科基金资助项目
关键词
一阶格值逻辑系统LF(X)
广义量词
弱完备性定理
First-order lattice-valued logic system LF(X)
Generalized quantifier
Weak completion theorem