论文部分内容阅读
扩充了V.M.Abrusci定义的非可换线性逻辑,使其兼容直觉逻辑、可换线性逻辑及cyclic线性逻辑,并利用提出的对偶quantale概念给出了非可换线性逻辑的可靠且完备的quantale语义.
非可换线性逻辑及其Quantale语义
【摘 要】
：
扩充了V.M.Abrusci定义的非可换线性逻辑,使其兼容直觉逻辑、可换线性逻辑及cyclic线性逻辑,并利用提出的对偶quantale概念给出了非可换线性逻辑的可靠且完备的quantale语义.
【机 构】
：
陕西师范大学数学系
【出 处】
：
陕西师范大学学报：自然科学版
【发表日期】
：
2001年2期
【基金项目】
：
国家自然科学基金
其他文献
在我们设计齿轮时，都要考虑互相啮合的齿轮副的最小法向侧隙，以保证齿轮的正常工作和良好的润滑，防止由于齿轮工作温度的变化导致两个啮合的齿轮卡死。对于有回程误差要求的正反
庆祝中国药理学会成立30周年是我国药理学工作者的一件大事和盛事。30年来,中国药理学会从小到大,不断发展壮大,已经发展成为党和政府联系广大药理学科技工作者的桥梁和纽带,
拙作《有关蒋纬国身世的一通碑文》发表后,引起了很多人的兴趣。首先蒋介石在戴母碑文上自称世家子,的确已够使人回味了。而北京赵景明先生并提出了:“为什么戴孝密称戴安国
20世纪80年代中期，当朦胧诗浮出地面不久并渐渐获得读者的认可时，一股新的诗歌浪潮以一种一往无前的气概汹涌而来，“第三代”诗，90年代个人化写作，70后诗人群等各种诗歌流派和浪潮
用无穷小分柝 内超实度量实间中与Ｑ－拓扑及Ｓ－拓扑相应的两种收敛性－Ｑ－收生及Ｓ－收敛性，给出了内超实度量空间中的点列、网以及函数列Ｑ－收上敛的特征与基本性质。
研究了可２－重度序列的基本特征。获得了两个重要结果：（１）－一个２－重图序列是可２－重自补度序列的充要条件；（２）－一个非负整数序列是可２－重自补度序列的充要条件。并在此基础上讨论了构造全部ｐ－维可２－重
目的：评价复方甘草酸苷联合丹参酮注射液治疗银屑病的疗效。方法：将58例银屑病患者随机分为2组。治疗组32例,给于静脉滴注复方甘草酸苷和丹参酮注射液治疗6周;对照组26例,给于
研究了交换Ｂａｎａｃｈ代数Ｗ上线性系统的干扰解耦问题，给出了其被状态反馈解耦的充要条件，即矩阵Ｅ＝「Ｅ１ Ｅ２…Ｅｐ」＾Ｔ非奇异，讨论了其在Ｇｅｌｆａｎｄ变换下与对应的有限维线性系统可解耦性之间的关系，即Ｗ上的线性系统
海洛因戒断综合征是海洛因依赖患者用药减量或停药时发生功能紊乱而出现的一系列症状,在人工流产术中出现时,易将戒断综合征误诊为人工流产综合反应.1994～2001年我院行人工流