论文部分内容阅读
鞠实儿曾提出一个开放类三值命题逻辑系统，这一逻辑也可以推广到任意m值逻辑情形，成为一个联结词函数完全的逻辑。本文将对推广的命题逻辑系统L^＊建立一种一阶谓词系统，并证明其可靠性、完全性。
一个多值逻辑的一阶谓词系统
【摘 要】
：
鞠实儿曾提出一个开放类三值命题逻辑系统，这一逻辑也可以推广到任意m值逻辑情形，成为一个联结词函数完全的逻辑。本文将对推广的命题逻辑系统L^＊建立一种一阶谓词系统，并证明其
【机 构】
：
安徽大学哲学系
【出 处】
：
逻辑学研究
【发表日期】
：
2009年1期
其他文献
本文分析了联营体的类型及其区别并对联营体合同条款进行了较详细的分析。
本文分析了混凝土引进空气的分布，即气泡分布在混凝土的浆体（砂浆）中，该浆体最优含气量为一定值，以此取代不确定的混凝土（总体）最优含气量的规定，简单、明确，适用于各种粗骨料种类、粒
内蒙古乌兰察布市科技特派员创业行动，围绕蔬菜、马铃薯、乳业、肉羊、饲草饲料等主导产业，有效集成市场、科技、信息、资金、土地等生产要素，形成以科技特派员为核心的创业链，推
偏好是哲学、博弈论、决策论和效益理论等学科的核心概念，偏好及其逻辑性质在行为哲学和理性选择理论中尤其占有十分重要的地位。偏好的概念使得我们对世界的看法变得多姿多彩
山东省临朐县是一个传统的山区农业大县，受地形和气候影响，土地贫瘠地区的农民多以种植花生、地瓜、谷子、玉米等耐早作物为主，产业结构单一，发展方式落后，现代农业发展严重受阻。
5.5 引气混凝土真空饱海水对孔隙度的影响 根据海工混凝土的特殊性,此次试验中的混凝土试件,均采用天然海水进行真空饱和,为考虑经真空饱海水的试件测定冻融变形后,尚需经10
在调查研究的基础上，对如何在新生中有针对性地开展思想教育工作进行了探讨，提出了应重视新生的思想政治理论课教学、改革和创新教学方法以及加强对新生的心理健康教育等措施来
2013年10月18日,由清华大学哲学系主办的逻辑学研讨会＂清华邂逅阿姆斯特丹大学＂在甲所会议室顺利召开。会议由清华大学的刘奋荣和阿姆斯特丹大学的Sonja Smets具体组织。该会旨
高校要发展，就必须树立科学理财的理念。如何做到科学理财，首先是科研经费和学校收费的管理，必须加强及规范其管理；再则是如何科学合理安排学校经费预算；其次是如何确保校办产业资