基于G(o)del蕴涵算子的导出算子的n值逻辑系统

来源 :纺织高校基础科学学报 | 被引量 : 0次 | 上传用户：liupingxiu

【摘要】

：

讨论剩余类蕴涵算子之一Godel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n>3).给出了G3的真值表,它是C2真值表的扩充,也保持MP规则和正则性.讨论了G3中的重言式(tautol

【作者】

：

杨春志李永明

【机构】

：

淮南师范学院,陕西师范大学

【出处】

：

纺织高校基础科学学报

【发表日期】

：

2004年期

【关键词】

：

Godel蕴涵算子 Godel蕴涵算子的导出算子G3 重言式 n值逻辑系统Gn

【基金项目】

：

国家自然科学基金;

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

讨论剩余类蕴涵算子之一Godel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n>3).给出了G3的真值表,它是C2真值表的扩充,也保持MP规则和正则性.讨论了G3中的重言式(tautology)与IPC(intuitionistic propositional calculus)公理之间的关系以及G3的准重言式与C2的重言式之间的关系.考虑了Gn中的子代数及不同逻辑系统Gn中重言式的比较.

其他文献

从同舟共济到分道扬镳——20世纪20年代小说中爱情与自由之辩

20世纪20年代,大量的青年作家试图在小说中探索爱情与自由的新关系,这其中存在着不同趋向:一方面,大量作家抒写了为爱情而战的决心,无论是追寻恋爱的自由还是追寻自由的恋爱,

期刊

20世纪20年代爱情自由

100MeV负氢回旋加速器高频冷模腔的理论与实验研究

在回旋加速器中,高频系统为带电粒子加速提供能量,高频谐振腔作为高频系统中的关键部件,它性能的好坏直接决定着粒子是否能够被加速,所以,高频谐振腔的设计非常关键.在100MeV

期刊

回旋加速器高频谐振腔Dee电压

超声波法提取沙棘中类胡萝卜素条件的优化

在超声波单因素试验结果基础上,进行L9(33)正交试验,研究了超声波法提取沙棘类胡萝卜素最佳工艺条件.结果表明,以丙酮/石油醚(2∶1,v/v)作提取剂,在超声波功率为300W,料液比1

期刊

沙棘类胡萝卜素超声波提取

Preliminary experiment of the Thomson scattering X-ray source at Tsinghua University

The X-ray source based on Thomson scattering of ultrashort laser pulse with a relativistic electron beam is a means of generating a tunable, narrow bandwidth an

期刊

Thomson scatteringX-raylaser

HLA-DRB1、HLA-DRB3、HLA-DRB4、HLA-DRB5与HLA-DQ位点不关联病例的研究

目的:完善目前已知的HLA-DR与HLA-DQ关联表。方法:从2000~2006年间到我们实验室配型的供患者中选出与关联表不相符的16例标本并对这些标本进行高分辨鉴定。结果:发现在中国汉

期刊

HLA-DR抗原HLA-DQ抗原连锁不平衡

基于磁开关的全固态、高功率、长脉冲发生器的初步研究

大多数电容储能型脉冲功率装置的共同特点是采用了气体开关,由于气体绝缘恢复的限制和电极的烧蚀,使得其重复频率都不太高,而且寿命有限.而目前广泛研究的磁脉冲压缩技术在脉

期刊

磁开关全固态脉冲发生器

拟似然非线性模型中最大拟似然估计的强相合性

This paper proposes some regularity conditions.On the basis of the proposed regularity conditions,we show the strong consistency of maximum quasi-likelihood est

期刊

maximum quasi-likelihood estimatorquasi-likelihood nonlinear modelsstrong cons

碎米荠多糖的过氧化氢脱色方法研究

为了脱除碎米荠多糖液中的色素,以过氧化氢(H2O2)为脱色剂,选择脱色时间、脱色温度、pH值和过氧化氢的质量百分比浓度等因素为试验因素,进行单因素试验,以此为基础进行4因素4

期刊

碎米荠多糖过氧化氢脱色

BEPCⅡ直线加速器发射度测量

BEPCⅡ直线加速器采用改变四极磁铁励磁电流,测量获取的束流横截面荧光图像得到束流包络,进而通过对束流包络和励磁电流的拟合计算得到束流发射度和Twiss参数.在BEPCⅡ直线加

期刊

BEPCⅡ直线加速器束流发射度束流包络

基于G(o)del蕴涵算子的导出算子的n值逻辑系统

其他学术论文