论文部分内容阅读
在基于正则蕴涵算子的命题逻辑系统中给出了公式的条件α-重言式的概念,讨论了它们的性质,并分别在Lukasiew icz逻辑系统、Go¨del逻辑系统、乘积逻辑系统、L*逻辑系统及相应的n值逻辑系统中研究了条件α-重言式的分布.
基于正则蕴涵算子的条件α-重言式理论
【摘 要】
：
在基于正则蕴涵算子的命题逻辑系统中给出了公式的条件α-重言式的概念,讨论了它们的性质,并分别在Lukasiew icz逻辑系统、Go¨del逻辑系统、乘积逻辑系统、L*逻辑系统及
【机 构】
：
聊城大学数学科学学院,聊城第一中学山东聊城
【出 处】
：
鲁东大学学报：自然科学版
【发表日期】
：
2007年2期
【基金项目】
：
山东省自然科学基金(Y2003A01)
其他文献
【目的】为新疆扁桃营养诊断提供参考依据。【方法】以4个新疆主栽的扁桃品种（纸皮、双软、矮丰、晚丰）为试材,测定花和叶片中（N、P、K、Ca、Mg、B、Zn、Fe、Mn、Cu）10种矿质营养
光谱仪作为一种精密的光学仪器,由于其所具有的高精度、宽探测范围、高灵敏度以及高可靠性等优势,在工业、农业、医药、军事、环境污染、食品安全、科学研究等各种行业和研究
通过对乘务巡检作业管理需求和现场调研分析，利用NFC近场通信技术及计算机控制技术，通过采集安装在客车车厢内的电子标签信息，实时发送至地面监控主机，分析软件可将接受到的数据
谋略事业,放眼的是全球。真正的竞争,不是国企民企,不是同行,不是国内,而是全球这个大盘子。12月29日的夜晚,中国航天完成了2018年度的最后一次发射,夺得了有史以来第一次航
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
利用广义拟弱交换映象的概念,在完备度量空间中研究了广义拟弱交换映象的公共不动点的存在性,给出了几个新的公共不动点定理,从而在很大程度上统一和发展了已有文献中的相应
目的探讨顽固性念珠菌性阴道炎的理想治疗方法。方法总结在我院治疗的顽固性念珠菌性阴道炎患者47例资料,按照治疗方法不同进行分组：选择克霉唑和氟康唑治疗的22例为观察一组;
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
会议