参数Kleene系统中的广义重言式

• 作者: 吴望名
• 来源期刊: 模糊系统与数学
• 学科: 数学
• 关键词: 参数Kleene系统 广义重言式 t-范∧p和t-余范∨p 可判定性
• 年，卷（期）: 2000,（1）
• 所属期刊栏目: 模粗逻辑
• 页码范围: 1-7
• 页数: 7页
• 分类号: O159
• 字数: 1340字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-7402.2000.01.001

摘要

引入新的一组带参数p(p∈[0,1])的t-范∧p,t-余范∨p和蕴涵θp,讨论它们的基本性质.在此基础上研究参数Kleene系统Kp与三值Kleene系统K3,三值Lukasiewicz系统L3和经典二值系统B2关于(广义)重言式的相互关系,指出系统Kp对广义重言式而言是可判定的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴望名	上海师范大学数学科学学院	3	109	2.0	3.0