论文部分内容阅读
将修正的G(o)6del逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在G-的序稠密子代数中给出F(S)关于┓同余的一个分划.
修正的G(o)del逻辑系统中子代数的广义重言式理论
【摘 要】
：
将修正的G(o)6del逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在G-的序稠密子代数中给出F(S)关于┓
【机 构】
：
延安大学,陕西师范大学
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年期
其他文献
利用变分原理和Z2不变群指标研究了二阶常微分方程边值问题{u″(t)-u(t)+f(t,u(t))=0,0＜t＜1,u′(0)=0,α1u(1)+u′(1)=0,(其中α1＞-1/2).得出了这类方程存在无穷个解的充分条件.
建立了一种同时测定4种水溶性维生素的高效液相色谱方法.采用Shimadzu VP-ODS(150 mm×4.6 mm i.d.,5.0 μm)色谱柱,以甲醇-0.05 mol/L磷酸氢二钾缓冲溶液梯度洗脱,在波长为2
WO3有着良好的氢致变色效应,是一种优异的氢敏感材料.对WO3薄膜氢致变色机理的研究有助于研制出更高灵敏度的WO3基氢敏传感器.目前,关于WO3薄膜的氢致变色机理主要有3种模型,
研究了230 MeV的208Pb27+辐照Al2O3样品及随后在600,900,1 100 K高温条件下退火后的光致发光特性.从辐照样品的测试结果可以清楚地看到在波长为390,450 nm处出现了强的发光峰
本文主要介绍了拟阵上的合作对策Shapley解的结构,并利用强单调性、交换性、概率有效性等三条公理刻画了拟阵上合作对策Shapley解的唯-性.同时讨论了本文的三条公理与Bilbao
微生物与免疫学是医学影像专业一门重要的基础课程，学生普遍觉得课程枯燥难懂，为了激发学生的学习兴趣，提高学生自主学习能力。作者在教学过程中对教学大纲、教学内容和教学手段
随着健康观念和医学模式的转变，21世纪的护理人员将面对日益扩大的工作领域，新的机遇与挑战对护理人才的培养规模和质量提出了新的要求。护理教育改革的核心问题便是课程的改革
在时间测度上研究一类具有时滞和基于半比率且有功能性反应的两种群捕食者-食饵扩散系统,利用Mawhin重合度理论建立了这类系统的周期解存在的一个充分性判据.从而使这一类系
以分子前体的方式,把助剂Zr引入到费托(F-T)反应的Co基催化剂中.合成、表征了分子前体配合物Zr2(OCH(CH3)2)4((CO)9Co3CCOO)4.并对由该前体制备的ZrCo/Al2O3催化剂做了IR、BE