论文部分内容阅读
构建多值逻辑系统可以有多种方法，如表列、自然演绎、根岑演算、希尔伯特型公理化等等。建立一个n＋1值多值逻辑的希尔伯特型公理系统，利用极大一致集方法可以证明它的完全性。证明利用了一个特殊的否定词，比其他方法更为简便。该证明方法还可以证明该系统是函数完备的。
函数完备的n＋1值逻辑公理系统的强完全性
【摘 要】
：
构建多值逻辑系统可以有多种方法，如表列、自然演绎、根岑演算、希尔伯特型公理化等等。建立一个n＋1值多值逻辑的希尔伯特型公理系统，利用极大一致集方法可以证明它的完全性。证
【机 构】
：
安徽大学哲学系
【出 处】
：
安徽大学学报：哲学社会科学版
【发表日期】
：
2009年5期
【基金项目】
：
安徽大学人才队伍建设项目
其他文献
奶奶家里养了一只特别大的公鸡。它非常漂亮，头顶大红鸡冠，坚硬锐利的嘴巴是米黄色的，眼睛呈琥珀色，艟得机敏美丽。它身穿华丽的彩衣，高昂着金黄的脖子，尾巴上翘着一撮又长又美的羽
全面剖析了县域蔬菜生产和销售等方面的成绩、问题及发展方向。认为蔬菜自给不足的原因是蔬菜基地建设没跟上、种植结构单一、技术服务能力弱;价格居高主要是环境限制及机会
第一次国共合作是在共产国际的帮助下，中国共产党和孙中山的共同努力下实现的。中国共产党起了积极的推动和促进作用，在第一次国共合作这个重大问题上，中国共产党的认识也经历了
党的十一届三中全会以来，我校持续办了多期理论班。党校办理论班，目的是把学员培养成为具有坚实的马克思主义理论基础．共产主义觉悟高，党性强、作风好、守纪律，分析和解决实际问题
从现代世界哲学的视阈来看，以人的生命活动为基点，主体、语言和存在的关系问题上的“言意之辨”，既是现代西方哲学中的显学和中国哲学的中心论题，也是中西哲学的初始问题和哲学之
汕头经济特区于1981年11月起步建设，初期面积1.6平方公里，中央给的任务是发展出口加工业，利用外资改革市区老企业和发展旅游业。1984年1月经国务院批准，扩大为52.6平方公里，范围扩
近年来，我国理论界对社会主义社会发展的动力问题进行了比较深入的研究，得出了众说纷纭的结论。但多数学者只注重了对动力的层次性、系统性的探讨，而忽视了对动力的动态性，也就是
巨赞提出“生产化”与“学术化”的佛教改革思想，不但揭示了佛教徒参与生产劳动、重视佛教教理对维系佛教生存的重要性，还代表了现当代中国佛教发展的方向，是从太虚到赵朴初的“
在从科学知识社会学（SSK）向科学实践研究（后SSK）的转向中，美国卫斯理大学的科学哲学教授约瑟夫·劳斯（Joseph Rouse）发挥了重要作用。他明确向以认识论为核心的科学哲学传统发起