论文部分内容阅读
悖论逻辑ＬＰ是一发协调逻辑，发展协调逻辑的目的是使得不会从矛盾推出任一命题，但它有一个主要缺点：就量些在经典逻辑中有效的推理在ＬＰ中不再有效，极小悖论逻辑ＬＰｍｃ能克服这个缺点，使得在没有矛盾的直接下超协调逻辑等价经典逻辑。
悖论逻辑的表演算
【摘 要】
：
悖论逻辑ＬＰ是一发协调逻辑，发展协调逻辑的目的是使得不会从矛盾推出任一命题，但它有一个主要缺点：就量些在经典逻辑中有效的推理在ＬＰ中不再有效，极小悖论逻辑ＬＰｍｃ能克服这个缺点，使得在没
【机 构】
：
汕头大学计算机科学研究所
【出 处】
：
软件学报
【发表日期】
：
1996年6期
【基金项目】
：
国家自然科学基金,国家863高技术计划与李嘉诚学术基金,国家基础研究攀登计划资助
其他文献
文章围绕云计算技术对数字图书馆的建设问题进行讨论，通过探讨基于云计算的数字图书馆应用实践情况，为数字图书馆实现海量信息处理能力、高效的数据运转能力以及最大的资源共享
文章以后现代文化为语境，详细分析了该文化思想对图书馆服务工作（在理念与实践方面）的影响和借鉴意义，认为图书馆服务应该在个性化、平等、休闲等方面有所侧重和作为，突出其“服务
随着经济全球化浪潮的不断推进，以信息技术为标志的新一轮技术革命迅猛展开，促进了电子工业的飞速发展，同时也极大推动了测试测量仪表的飞速发展。伴随着中国加入WTO，中国全球制
三期馆员因生育孩子面临工作与家庭角色冲突的现实问题。在寻求平衡发展的过程中，较多表现出工作消极行为和母亲意识夸大的现状。通过实施图书馆组织支持方案和三期馆员自我作
据<嘹望>杂志最近报道:我国的GDP连续多年平均保持了8%的高位增长,却鲜有人知道每年因公共安全问题造成的GDP损失高达6%,这些问题每年要夺走20万人的宝贵生命.统计资料显示,2
高校辅导员是学校贯彻国家思想政治教育政策，促进学生德、智、体全面发展的重要力量。他们作为工作在一线的学生管理人员，与学生的接触最多、交流最多。大学是个体一生中重要的
整体护理发展到今天,其对实施心理干预后对疾病转归的影响已得到广泛的认可.心理干预与技术护理相辅相成,具有同等价值.而心理干预在特定条件下,往往胜于技术护理的作用[1].
图灵机计算时读写在带子上的活动，包括移动及改写字符，称为图灵机的行为，本文证明，图为机的行为是可学习的，即存在一个学习过程，它能根据一个图灵机的行为序列，学到另一个也能产生同
为加强农村卫生工作,1984年以来,我省把城市医院支农工作做为重点,采取组织城市医院对口定点支农、人材流动、晋级支农、短期巡回医疗等措施,使支农工作逐步实现制度化、规范
文章使用文献计量的方法对我国2003～2013年关于图书馆阅读指导的论文进行了年代、期刊、基金、引文、主题、作者等方面的分布统计分析，以便了解我国图书馆阅读指导的现状、研究