G(o)del逻辑系统中公式真度判断方法

• 作者: 张兴芳 张凤姣
• 来源期刊: 聊城大学学报（自然科学版）
• 学科: 数学
• 关键词: G(o)del逻辑系统 逻辑公式 真值函数 伪真值函数 真度
• 年，卷（期）: 2011,（1）
• 所属期刊栏目: 基础科学研究
• 页码范围: 39-42,46
• 分类号: O142
• 字数: 2248字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-6634.2011.01.009

摘要

通过给出Godel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张兴芳	聊城大学数学科学学院	139	336	8.0	13.0
2	张凤姣	聊城大学数学科学学院	1	0	0.0	0.0