论文部分内容阅读
对于三和A不相容之矛盾问题的解决在经典命题逻辑的范围内是无法实现的，而在可拓逻辑的框架下这是可能的．首先定义了变换、可拓变换、解悖变换等概念，在此基础上，证明了增加型变换、蕴涵型变换和删减型变换化矛盾问题为相容问题的可能性，最后证明了使用变换解决矛盾问题的三种策略的逻辑存在性．
可拓策略存在性
【摘 要】
：
对于三和A不相容之矛盾问题的解决在经典命题逻辑的范围内是无法实现的，而在可拓逻辑的框架下这是可能的．首先定义了变换、可拓变换、解悖变换等概念，在此基础上，证明了增加型变
【机 构】
：
南京大学现代逻辑与逻辑应用研究所,南京航空航天大学计算机系
【出 处】
：
哈尔滨工业大学学报
【发表日期】
：
2006年7期
其他文献
利用部分证券市场满足L形日内流动性模式的实证结论,采用拉格朗日运动方程以及Frobenius方法,得到了连续交易条件下的日内最优变现策略.结果表明,最优变现速率应与投资者的风
水是景观的灵魂。景观水的治理难度大、成本高。我们采用的生态工程方法，是纯物理和生物的方法，通过模拟自然过程，提高水体的自净能力，对环境无任何不良影响。我们在苏州天平山用
采下一朵菊花，淡淡的清香包裹着自己。有个身影闪现在眼前，他扛着锄头，走向那片属于他的世外桃源。——题记他是田园诗派的鼻祖，是安贫乐道的智者，是不为五斗米折腰的伟人；他是被后
因为水利工程功能作用的特殊性,大坝结构经常受水流冲刷,受外界各因素干扰影响大,如果设计施工不当,很容易出现质量问题,产生重大的经济损失,情况严重的甚至会发生安全事故。
阐述了在校园网环境下，采用C／S与B／S模式相结合的方式实现科研信息管理系统的思想．该系统运用ASP．NET和C#技术。利用校园网数据资源，实现异地录入、修改、查询、申报、评审，本地化集
针对目前高校商务英语本科教学中的存在的“重课本、轻实践”的现状，本文认为应该通过翻转课堂模式开展项目驱动型教学以增强商务英语专业学生的实践能力。笔者以梧州学院商务
伴随科学技术水平的提升，推动模拟电视系统逐渐转变为数字电视系统，此背景下，数字发射机得以大范围普及。基于数字发射机所具备的电路高度集成化及小型化等特点，无疑对设备维护也