【摘 要】
：
The aim of this article is the partial axiomatization for 1-level universal logic. A propositional calculus formal deductive system UL-h∈( 0 , 1] based on 1-le
【出 处】
：
The Journal of China Universities of Posts and Telecommunica
论文部分内容阅读
The aim of this article is the partial axiomatization for 1-level universal logic. A propositional calculus formal deductive system UL-h∈( 0 , 1] based on 1-level universal AND operator of universal logic is built up. The corresponding algebra -Π G-is introduced. The soundness and the completeness of system ULh-∈( 0,1 ] are proved.
The aim of this article is the partial axiomatization for 1-level universal logic. A propositional calculus formal deductive system UL-h ∈ (0, 1] based on 1-level universal AND operator of universal logic is built up. The corresponding algebra - Π G-is introduced. The soundness and the completeness of the system ULh-∈ (0,1] are proved.
其他文献
我市政治教学研究会在东莞市第一中学举办了高中政治青年教师专题研修活动。作为本次活动一个很重要的内容，我们观摩了一位曾参加全国优质课比赛老师的一节示范课，所授内容为人教版必修Ⅳ第三单元《用对立统一的观点问题》，观后印象颇为深刻。该老师以其丰富的教学经验、精湛的教学艺术和深厚的文化底蕴，通过一连串围绕目标、逐层深入的教学活动，把枯燥的哲学教学演绎得既简约朴实，又饶有趣味。为此，特结合这节课撰写此文和该
由中国友联画院、山东省文联、山东省美协、曹州书画院主办的《齐鲁风·上官超英画展》于2010年6月25日至6月30日在中国国家画院举办。上官超英作品具有现代艺术构成法则及特
黑龙江省第二、三积温带玉米产区的气候特点是气温低,降雨少,多春旱,春寒,不利于种子出苗和保全
Heilongjiang Province, the second and third crop temperate maize prod
<正> 移栽油菜从移栽、直播油菜从定苗到12月底这段生育时期,称为油菜的冬前生育阶段。这一阶段,油菜以营养生长为主,并在苗后期开始花芽分化。这一时期是决定油菜主茎总叶片
自从2001年江苏高考某考生用文言文写成作文《赤兔之死》一举成名后，文言文作文便受到了某些学生的重视和青睐。此后全国已经有江苏、福建等省多名考生因为用文言文乃至古文字写高考作文而尝到得高分的甜头。 正是在近年高考文言文写作、古文字写作趋热的情况下，今年5月中旬，教育部有关部门在全国高考考务工作规定的通知中首次规定，用汉语文授课、学习的参加全国统考（除外语科外）考生，笔试一律用现行规范汉语言文字答
安化县杨林乡株溪村从1992年起作为县综合试验示范基点村,他们狠抓发展绿肥生产,改造中低产田,积极推广红花草子新品种宁波大桥、余江大叶,全村冬季绿肥覆盖率达94%,绿肥产量
云国一号是广西玉林市农科所用云玉糯和ＩＲ３６杂交育成的晚籼新品种，全生育期１２５天，矮秆，分蘖力强，适应性广，一般每６６７平方米产量４５０千克，高产的可达５９９．１千克。
YUNGOU No.1 is a late indica variety
随着现代科学技术的飞速发展,高灵敏快速响应探测器产生广泛应用,为了避免强光照射对这些精密仪器的损伤,光限幅器的需求也日渐迫切.本文用Z-扫描技术测量了表面修饰In2O3纳
去年底，我有幸到上海师范大学参加教育部国培计划高中语文骨干教师研修班学习。本次培训既有多场具有理论高度的专题报告，也有示范功能极强的名师精品课，更有紧贴教学实践的分组集体备课与研讨论辩，还有内容丰实、形式灵活的博士论坛。深透的理论剖析，生动的教学案例，激烈的论辩碰撞，深入的讨论交流，使我们从教学理念、教学内容到教学方式都有了一个全新的视角。此刻，反观我们以往教学中曾经遇到诸多的困惑，一下子变得豁然