基于零级泛与运算的泛逻辑中广义重言式理论

• 作者: 何华灿 薛占熬 马盈仓
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 泛逻辑 广义重言式 零级泛与运算
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 博士论坛
• 页码范围: 16-18,21
• 页数: 4页
• 分类号: TP181|O141.1
• 字数: 7254字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.03.005

摘要

对泛逻辑的广义重言式理论进行了研究,给出了基于零级泛与运算的广义重言式的一系列性质.主要结果有:当c ∈[0.75,1]时,关于Ih=c而言,F(S)中只有3种不同的广义重言式,即可达0-重言式、0+-重言式和重言式;当h=0时,关于Ih=0而言,F(S)中存在0、1可达重言式,当α∈(0,1),不存在α-重言式、α+-重言式和可达α-重言式;用h=0.5时的广义重言式对h∈(0,0.75)时的广义重言式进行了刻画.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何华灿	西北工业大学计算机学院	181	1581	19.0	32.0
2	薛占熬	河南师范大学计算机与信息技术学院	47	211	9.0	11.0
3	马盈仓	西安工程大学理学院	37	80	4.0	7.0