系统Ha中广义语义MP规则与广义语义HS规则

来源 :陕西师范大学学报：自然科学版 | 被引量 : 0次 | 上传用户：ahhshpl

【摘要】

：

基于一类带参数a的[0，1]上的t-模＊。及与之伴随的蕴涵算子Ha（0≤a≤1）所建立的多值逻辑系统Ha，研究了当α=1/2时的多值逻辑系统H1/2．以H1/2为赋值域利用广义重言式概念得到了公式集

【作者】

：

关晓红折延宏王国俊

【机构】

：

陕西师范大学数学与信息科学学院

【出处】

：

陕西师范大学学报：自然科学版

【发表日期】

：

2007年1期

【关键词】

：

多值逻辑系统重言式广义语义MP规则广义语义HS规则分划 many-valued logic system tautology generalized s

【基金项目】

：

国家自然科学基金重点资助项目（10331010）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

基于一类带参数a的[0，1]上的t-模＊。及与之伴随的蕴涵算子Ha（0≤a≤1）所建立的多值逻辑系统Ha，研究了当α=1/2时的多值逻辑系统H1/2．以H1/2为赋值域利用广义重言式概念得到了公式集F（S）的一个分划，建立了系统H1/2中的各类广义语义MP规则与广义语义HS规则，并把系统H1/2中的相关结论推广到系统Ha（0＜a＜1）中.

其他文献

鄂尔多斯盆地安塞油田长10油层组富油因素分析

从油气成藏的基本地质要素入手,分析了烃源岩、储集体、生储盖组合配置、油气富集因素、湖盆古构造及古地形对油气成藏的影响及控制作用.发现受深湖分布控制的长7、长9有效烃

期刊

安塞油田延长组储盖组合油气富集规律Ansai oilfield Yanchang Formation association of reservoir

论学习兴趣的培养

素质教育是以面向全体学生，全面提高学生的基本素质为根本目的，要培养学生的自主学习能力和自我发展能力，须加强对学生学习兴趣的激发和培养。

期刊

学习兴趣学生素质教育学习过程

浅谈后排进攻的威力

文章着重从后排进攻的威力及后排进攻队员和二传手及其他队员的默契配合阐述了今后的排球运动发展的趋势。

期刊

后排进攻二传排球运动跳发球技术

立体视觉标定系统的分析与设计

分析了非线性摄像机模型,改进了圆心标定点提取算法,在Tsai算法的基础上构建了左右摄像机的关联矩阵,并在VC++环境下设计了立体视觉标定系统.实验结果表明,该系统成本低廉,鲁棒性好,精度较高,可用于空间目标测量、三维重构等领域.

期刊

立体视觉质心提取Tsai算法摄像机标定stereo-visioncentroid extractionTsai algorithmcamera cali

珍珠菜抗肿瘤有效部位ZE4对肝癌Bel-7402细胞裸鼠移植瘤的抑制作用

目的研究珍珠菜抗肿瘤有效部位ZE4对肝癌Bel-7402细胞裸鼠移植瘤的抑制作用及可能机制。方法制备肝癌Bel-7402细胞裸鼠移植瘤模型,裸鼠分别ig给予ZE4 100,200和400 mg.kg-1每

期刊

珍珠菜肝肿瘤裸鼠细胞凋亡新生血管化病理性Lysimachia clethroides Duby liver neoplasms mice nu

选配助听器宜早不宜迟

曾有这样一位家长，在孩子一岁时带他到聋儿康复研究中心就诊，明确了孩子耳聋的程度，因不能面对现实，在两年中花费了近7万元钱，到处求治，却毫无效果。孩子3岁多后，家长重又带他来到聋

期刊

助听器聋儿康复研究中心孩子家长语训

浅析产科医护人员工作态度对产妇产后抑郁症的影响

目的：研究住院产妇产后抑郁症的发生与产科医护人员工作态度的关系，为进一步提高产科医疗服务质量提供参考依据。方法：用自拟调查问卷与医护人员言行满意度调查表、抑郁自评量表

期刊

产妇抑郁医护人员心理疏导

MgO-Ba（Zr0．2Ti0．8）O3复相陶瓷介电性能研究

采用传统陶瓷工艺法，制备了100x％MgO-100（1-x）％Ba（Zr0.2TTi0.8）O3（z=0．3，0．4，0．5，0．6）复相陶瓷．通过X射线衍射、扫描电镜、介电温谱等方法，研究了不同MgO含量对复相陶瓷的微观结构和介电特性的

期刊

复相陶瓷介电特性介电弛豫行为composite ceramics dielectric property dielectric relaxation pr

西门子810D系统在模具工业中的优化应用及相关参数的调整

一、优化方案的提出。810D系统在模具工业应用广泛，但在模具加工中出现较多且复杂的轮廓精度时则难以精确保证。如在图1、图2的圆弧加工中，圆弧精度难以精确控制，出现一些凹坑现

期刊

西门子810D系统模具工业软件数据传输系统机床

复合矩阵的Lwner偏序与特征值不等式

讨论了存在Loewner偏序的两矩阵的k级复合矩阵的关系,并将复合矩阵与广义Schur补结合起来,研究矩阵广义Schur补的复合矩阵与复合矩阵广义Schur补之间的Loewner偏序,得到了Ck[

期刊

复合矩阵广义SCHUR补Loewner偏序MOORE-PENROSE广义逆特征值compound matrix generalized Schur c

系统Ha中广义语义MP规则与广义语义HS规则

与本文相关的学术论文