论文部分内容阅读
我们把部分模型定义成三值逻辑的模型.对于Kleene语义,我们讨论部分模型之间的一些代数关系,并用图方法刻划了这些关系.证明了部分模型上某些算子的不动点定理.文中所讨论的代数关系对发展三值逻辑的模型起一定的作用.
部分模型之间的一些代数关系
【摘 要】
：
我们把部分模型定义成三值逻辑的模型.对于Kleene语义,我们讨论部分模型之间的一些代数关系,并用图方法刻划了这些关系.证明了部分模型上某些算子的不动点定理.文中所讨论的
【机 构】
：
南京大学数学系
【出 处】
：
数学研究与评论
【发表日期】
：
1991年1期
其他文献
近期廉桥药材市场由于猪流感而引起一些相关药材价格上升，个别品种的价格上升幅度比较大，但没有出现暴升，近日有些品种已开始平复。
5月的中药材市场，天气渐热，市场大货走动不快。一些有涨价条件的品种在当前冷落萧条的市场人气背景下也表现得温而不火。中药材销售马上要进入淡季，市场“黑马”依然在缥缈的朦
目的总结预防全髋关节置换术（THA）后深静脉血栓形成（DVT）的经验。方法对2010年2-8月共43例（48髋）患者行THA，通过仔细操作、患肢抬高和主动锻炼、药物（磺达肝癸钠）等综合措施预防下肢DV
为进一步加强编辑委员会成员间的工作交流，落实下一阶段的组稿等工作，《中华关节外科杂志（电子版）》编辑委员会联同《中国骨与关节外科》杂志编辑委员会，于2009年11月19—22日中华
我所居住的社区大门靠街角处有位老皮匠,支起个小摊做些补鞋、修拉链的皮匠营生,这种修鞋摊到处都是,最平凡不过。因此,我来来往往无数次,却从未留意过。那些日子,脚下一双为
卡洛斯·富恩特斯是20世纪拉美文学爆炸的重要代表人物之一,《爵士乐中的豹子》是富恩特斯早期的一部超自然短篇小说,作者通过＂入侵＂这一母题,展现了对墨西哥民族文化身份
目的探讨来源于人外周血的单核／巨噬细胞对直径1μm以下超高分子聚乙烯（UHMWPE）磨损颗粒的反应及其机制。方法从因无菌性人工髋关节松动而需要行翻修手术的患者假体周围组织中提
目的介绍金属对金属人工全髋表面置换术的操作要点与早期疗效。方法从2004年9月-2006年12月，对28例（35髋）患者行混合型金属人工全髋表面置换术（Conserve Plus，Wright），其中股骨头缺