L*系统中的函数决定公式问题

• 作者: 张兴芳 李成允 袁彦莉
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: L*系统 真值函数 真度
• 年，卷（期）: 2010,（15）
• 所属期刊栏目: 研究、探讨
• 页码范围: 31-33
• 分类号: TP18
• 字数: 2696字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.15.010

摘要

基于L*系统,针对由两个原子生成的公式,解决了王国俊教授提出的函数决定公式问题,给出了逻辑公式真值函数的特征,进而按照逻辑等价的关系将两个原子生成的公式集进行了细致的分类并给出了此类公式真度的特征.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张兴芳	聊城大学数学科学学院	139	336	8.0	13.0
2	李成允	聊城大学数学科学学院	21	39	4.0	5.0
3	袁彦莉	聊城大学数学科学学院	4	4	1.0	1.0