【摘 要】
：
讨论剩余类蕴涵算子之一Godel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n>3).给出了G3的真值表,它是C2真值表的扩充,也保持MP规则和正则性.讨论了G3中的重言式(tautol
论文部分内容阅读
讨论剩余类蕴涵算子之一Godel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n>3).给出了G3的真值表,它是C2真值表的扩充,也保持MP规则和正则性.讨论了G3中的重言式(tautology)与IPC(intuitionistic propositional calculus)公理之间的关系以及G3的准重言式与C2的重言式之间的关系.考虑了Gn中的子代数及不同逻辑系统Gn中重言式的比较.
其他文献
20世纪20年代,大量的青年作家试图在小说中探索爱情与自由的新关系,这其中存在着不同趋向:一方面,大量作家抒写了为爱情而战的决心,无论是追寻恋爱的自由还是追寻自由的恋爱,
在回旋加速器中,高频系统为带电粒子加速提供能量,高频谐振腔作为高频系统中的关键部件,它性能的好坏直接决定着粒子是否能够被加速,所以,高频谐振腔的设计非常关键.在100MeV
在超声波单因素试验结果基础上,进行L9(33)正交试验,研究了超声波法提取沙棘类胡萝卜素最佳工艺条件.结果表明,以丙酮/石油醚(2∶1,v/v)作提取剂,在超声波功率为300W,料液比1
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
目的:完善目前已知的HLA-DR与HLA-DQ关联表。方法:从2000~2006年间到我们实验室配型的供患者中选出与关联表不相符的16例标本并对这些标本进行高分辨鉴定。结果:发现在中国汉
大多数电容储能型脉冲功率装置的共同特点是采用了气体开关,由于气体绝缘恢复的限制和电极的烧蚀,使得其重复频率都不太高,而且寿命有限.而目前广泛研究的磁脉冲压缩技术在脉
This paper proposes some regularity conditions.On the basis of the proposed regularity conditions,we show the strong consistency of maximum quasi-likelihood est
为了脱除碎米荠多糖液中的色素,以过氧化氢(H2O2)为脱色剂,选择脱色时间、脱色温度、pH值和过氧化氢的质量百分比浓度等因素为试验因素,进行单因素试验,以此为基础进行4因素4
利用柱色谱从异柱五加 (Acanthopanax sieboldianus forma albeofolium Yook) 叶的甲醇提取液中分离出四个齐墩果烷型皂苷类化合物.通过波谱方法(1H NMR、13C NMR、2D NMR和F
BEPCⅡ直线加速器采用改变四极磁铁励磁电流,测量获取的束流横截面荧光图像得到束流包络,进而通过对束流包络和励磁电流的拟合计算得到束流发射度和Twiss参数.在BEPCⅡ直线加