论文部分内容阅读
定义了非线性逻辑系统(-W)2,研究了(-W)2中的重言式及广义重言式,得到了若干与线性逻辑系统(-W)中相类似的结果.
非线性序逻辑系统W^-2中的重言式
【摘 要】
：
定义了非线性逻辑系统(-W)2,研究了(-W)2中的重言式及广义重言式,得到了若干与线性逻辑系统(-W)中相类似的结果.
【机 构】
：
固原师专数学与计算机科学系
【出 处】
：
固原师专学报
【发表日期】
：
2002年3期
其他文献
董仲舒在中国文学史上的影响,主要不是靠他的文艺理论上的提倡,而是靠经学语境下创作本身的示范力量.这一个案表明,有时候,文本创作与文学理论之间并不是直接的双向关系,而是
PPG工业公司商业涂料部门已加强了其在全球风机产业的参与力度。随着全球对于可替代能源需求的增加，PPG正在协助风机制造商开发和应用先进的涂料和材料制造风机叶片。PPG充分
2010年堪称历史上最成功的上海世博会已经落下帷幕，但一系列项目、设计和活动仍将继续展现巴斯夫如何创造化学新作用，为中国以及全世界的城市、家庭以及下一代带来积极作用。
'培育民族精神'是中国特色社会主义实践的重要文化主题之一,也是事关国家和民族兴旺的一项长久而又艰巨的系统工程.民族精神培育作为精神文明建设的一个重要方面,必
中国古代诗学语境中文体概念的所指内涵有一个漫长的建构、离析和积淀的过程.<文心雕龙>中'文体'一词的所指内涵主要有三:体裁、风格和语言表达方式.刘勰这种广义文
亚氨基二乙腈,英文名Iminodiacetonitrile,简称IDAN,分子式C4H5N3,分子量95.10,外观为浅黄色至褐色粉末,熔点75~78℃,堆密度0.6~0.7,溶于水,易溶于丙酮等有机溶剂。作为一种
用R(L)-值下半连续函数引入了R(L)型诱导空间的概念,讨论了它的一些基本性质.证明了R(L)型诱导空间保持笛卡尔积;(LX,δ)是连通空间当且仅当其R(L)型诱导空间是连续空间,给出
设x,n是正整数,p是素数.证明了:如果x2+(x+1)2+(x+2)2=pn,则必有n=1.
抗日战争时期陕甘宁边区针对落后的边区经济和边区发展经济面临的问题，政府和银行采取措施，发放了农业，手工业，公营工业，商业等贷款，促进了边区经济的发展，对边区克服困难，争取抗日战
本文共列举<无稹年谱>误编、漏编以及编年不确的诗文编年计约18首,在标示<年谱>编年疏误诗文之后,先全面引述<年谱>编年理由,然后扼要指出<年谱>编年疏误所在,列举笔者的编年