论文部分内容阅读
研究了命题演算系统f中一类特殊理论——Boole型理论的内部结构．从语构、语义两个方面分别给出了一个理论为Boole型理论的几个充要条件．利用Boole型理论在全体公式集F（S）中引入了同余关系，证明了商代数是Boole代数，并找到了TH（L）为最小的Boole型闭理论．
命题演算系统L~*中的Boole型理论
【摘 要】
：
研究了命题演算系统f中一类特殊理论——Boole型理论的内部结构．从语构、语义两个方面分别给出了一个理论为Boole型理论的几个充要条件．利用Boole型理论在全体公式集F（S）中引入了
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
陕西师范大学学报：自然科学版
【发表日期】
：
2008年4期
【基金项目】
：
国家自然科学基金重点资助项目（10331010,10771129）
其他文献
1999年，在陕西省药理学会第三次会员代表大会上，我有幸被选为陕西省药理学会第三届理事会秘书长，从此开始参与药理学会的工作。2003年以后，一直担任陕西省药理学会理事长。2002年
<正> 目前,剪切小型钢材多用单偏心轴剪盒式定尺剪切机,如图1所示。其结构简单, 在摆杆滑槽内,下剪刃固定在摆杆下端,为了保证有足够的冲剪力,上剪刃的行程应较大,为保证工件
在半序空间中研究了一类混合单调算子方程解的存在与惟一性,构造了收敛于算子方程解的迭代形式,并把所得结果应用到非线性H 积分方程.
2009年6月11日，第十三届中国国际软件博览会在北京盛大开幕。当天上午，工信部部长李毅中在工信部、科技部、北京市等相关领导的陪同下，兴致勃勃地参观了CAXA展位，并听取CAXA总裁
<正> 1.前言角钢广泛用于机械制造、建筑及其它国民经济领域,是型钢中用途最广的钢材之一,但其断面形状几十年一直沿用简单的两个矩形形状组合,结合处用圆弧联接。这种简单的
以模糊语义为背景，在标号集具有一定结构的一族全序完备格的乘积上引入了抽象语义及其连续性概念，证明了具有这种连续性的抽象语义是紧致的，由此可以推出取值于「０，１」的Ｌｕｋａｓｉｅｗｉｃｚ语义是紧致
<正> 1.前言由钢锭到钢材一般要经过两次加热,甚至更多。在多次加热过程中,金属的总烧损率可达3～6％。大量氧化铁皮的产生不仅降低了成材率,而且引起一系列不良后果,如轧制时钢
非智力因素是青少年竞技运动员训练与竞赛活动的动力-调节系统，是心理训练的重要内容之一．采用文献资料法、逻辑分析法，分析了对套路运动员非智力因素培养的5个主要方面，以引起武
众所周知,自1949年中华人民共和国成立,到1972年中美建交的20多年时间内,中美两国关系乃长期处于不正常状态。之所以出现这样一种令人遗憾的局面,归根到底,就在于抗战后期美
<正> 该轧机是1974年从日本引进的成套设备。自1978年12月20日一次热试轧成功投产以来,到1987年底累计生产热轧板卷1727×10~4t。1986年由于供电和板坯原料得到充分供应