论文部分内容阅读
时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支。它在传统逻辑的基础上引入了时间算子,丰富了普通命题逻辑,从而克服了传统逻辑不能有效地描述或者处理事件在时间上的关系的不足。对逻辑学、哲学、语言学、计算机以及人工智能的研究和发展,有着重要的理论意义和实际应用。
时间逻辑学的创立、历史及其研究意义
【摘 要】
：
时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支。它在传统逻辑的基础上引入了时间算子,丰富了普通命题逻辑,从而克服了传统逻辑不能有效地描述或者处理事件在
【机 构】
：
南开大学哲学系,河南大学
【出 处】
：
华北水利水电学院学报(社科版)
【发表日期】
：
2007年04期
其他文献
患者,女,34岁,4个月前患者无明显诱因出现尿频、尿急、夜尿增多和尿失禁,自我诊断为“慢性尿路感染”,自服“诺氟沙星”“呋喃硝胺”等药2个月未见效.当地卫生院医生诊断为“
本文介绍了广州市第一个垃圾焚烧发电厂—李坑项目的筹建过程。李坑生活垃圾焚烧发电厂是大型市政环保项目，由广州市政府投资并部分使用了国外政府贷款。从93年底立项开始至今
目的探讨7～14岁学生稳态胰岛素评估模型胰岛素抵抗（HOMA—IR）指数的分布及与代谢综合征和炎症因子的关系。方法采集366名7-14岁学生（男生163名，女生203名）的人体测量指标（体质量、身
用视频传输编解码器构成多媒体远程监视系统江西省邮电学校郭少白在许多远程视频监控系统的设计方案中，经常会遇到的问题是如何远距离传送现场的模拟视频监视信号。使用同轴电
已有的研究从不同作业类型下的干扰效应和相关的理论解释两个方面对时距估计干扰效应进行了剖析 ,未来的研究应以分段 /综合模型为基础进行探讨 ,时距加工的认知神经研究促进
针灸配合穴位注射治疗遗尿３２例小结霍国荣甘肃省兰州市第二人民医院（７３００４６）主题词遗尿／针灸疗法选穴穴位疗法遗尿是指３周岁以上睡眠中不能控制排尿而自遗的症状。中医认为“虚则遗溺”，临
卒中是世界范围内的主要死亡原因之一，发病后中枢神经系统受到不同程度的损伤，严重影响患者的健康和生活质量，甚至威胁生命。“时间就是大脑”，急性缺血性卒中（AIS）在发病4～5小时内
目的探讨添加正圆形圆洞标记点测量口腔不规则藻酸盐印模形变的可行性。方法模拟临床固定修复基牙牙备体制作金属母模,表面有互成三角形的凸出圆形钢针,分别用两种藻酸盐印模
１９９１年１月～１９９５年１２月，笔者用张锡纯理冲汤加减治疗闭经３８例，疗效满意，现报告如下。１临床资料本组３８例患者均为门诊病人，年龄１８～４４岁，平均为２８岁。病程３～１２个月。原发性闭经２０例，继发性闭经１８例。中医辨证分型：痰湿阻
《上海交通大学学报(医学版)》第七届编辑委员会第三次会议于2010年12月30日上午在上海交通大学医学院召开。会议由执行主编、上海交通大学医学院副院长陈红专教授主持。副主
期刊