论文部分内容阅读
扩充了V.M.Abrusci定义的非可换线性逻辑,使其兼容直觉逻辑、可换线性逻辑及cyclic线性逻辑,并利用提出的对偶quantale概念给出了非可换线性逻辑的可靠且完备的quantale语义.
非可换线性逻辑及其Quantale语义
【摘 要】
：
扩充了V.M.Abrusci定义的非可换线性逻辑,使其兼容直觉逻辑、可换线性逻辑及cyclic线性逻辑,并利用提出的对偶quantale概念给出了非可换线性逻辑的可靠且完备的quantale语义.
【机 构】
：
陕西师范大学数学系
【出 处】
：
陕西师范大学学报：自然科学版
【发表日期】
：
2001年2期
【基金项目】
：
国家自然科学基金
其他文献
在我们设计齿轮时，都要考虑互相啮合的齿轮副的最小法向侧隙，以保证齿轮的正常工作和良好的润滑，防止由于齿轮工作温度的变化导致两个啮合的齿轮卡死。对于有回程误差要求的正反
庆祝中国药理学会成立30周年是我国药理学工作者的一件大事和盛事。30年来,中国药理学会从小到大,不断发展壮大,已经发展成为党和政府联系广大药理学科技工作者的桥梁和纽带,
20世纪80年代中期，当朦胧诗浮出地面不久并渐渐获得读者的认可时，一股新的诗歌浪潮以一种一往无前的气概汹涌而来，“第三代”诗，90年代个人化写作，70后诗人群等各种诗歌流派和浪潮