LF(X)中带广义量词的可靠性定理

• 作者: 周平 姜明 徐扬
• 来源期刊: 模糊系统与数学
• 学科: 数学
• 关键词: 一阶格值逻辑系统LF(X) 广义量词 可靠性定理
• 年，卷（期）: 2008,（2）
• 所属期刊栏目: 模糊集理论
• 页码范围: 31-35
• 页数: 5页
• 分类号: O101
• 字数: 3548字
• 语种: 中文

摘要

讨论一阶格值逻辑系统LF(X)中带广义量词的语法推理,同时证明了LF(X)中带广义量词的可靠性定理,作为应用我们对带广义量词的一些推理规则作了语法的证明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学数学系	186	1462	15.0	32.0
2	周平	西南交通大学数学系	24	63	5.0	6.0
4	姜明	西南民族大学电信学院	50	98	5.0	6.0