论文部分内容阅读
引入新的一组带对数ｐ（ｐ∈「０，１」的ｔ－范∧ｐ，ｔ－余范∨ｐ和蕴涵θｐ，讨论它们的基本性质。在此基础上参数Ｋｌｅｅｎｅ系统Ｋｐ与三值Ｋｌｅｅｎｅ系统Ｋ３，三值Ｌｕｋａｓｉｅｗｉｃｚ系统Ｌ３和经典二值系统Ｂ２关于（广义）重言式的相互关系，指出系统Ｋｐ对广义重言式而言是可判定的。
参数Kleene系统中的广义重言式
【摘 要】
：
引入新的一组带对数ｐ（ｐ∈「０，１」的ｔ－范∧ｐ，ｔ－余范∨ｐ和蕴涵θｐ，讨论它们的基本性质。在此基础上参数Ｋｌｅｅｎｅ系统Ｋｐ与三值Ｋｌｅｅｎｅ系统Ｋ３，三值Ｌｕｋａｓｉｅｗｉｃｚ系统Ｌ３和经典二值系统Ｂ２关于（广义）重言式的相互关系，指出系统Ｋｐ对广义重言式而
【机 构】
：
上海师范大学数学科学学院
【出 处】
：
模糊系统与数学
【发表日期】
：
2000年1期
【基金项目】
：
国家自然科学基金!(69873 034)
其他文献
建筑信息化是目前建筑业大势所趋,高等院校应顺应时代发展,培养具有创新精神的应用型人才。本文从工程管理专业毕业设计存在的弊端入手,指出要在毕业设计中引入BIM技术,让毕