论文部分内容阅读
基于[4]中的逻辑系统G，本文通过删减和增加公理及规则给出3个逻辑G0，GD和Gs，同时，我们通过对正常主项选择函数添加不同的条件给出与三个逻辑相应的不同的模型定义。其中，G0是GD和Gs的基础。这些逻辑的给出是为了刻画通过演绎方式得概称句的推理的局部推理。
通过演绎方式得概称句推理的逻辑
【摘 要】
：
基于[4]中的逻辑系统G，本文通过删减和增加公理及规则给出3个逻辑G0，GD和Gs，同时，我们通过对正常主项选择函数添加不同的条件给出与三个逻辑相应的不同的模型定义。其中，G0是GD和G
【机 构】
：
中央财经大学现代逻辑研究所,北京大学哲学系
【出 处】
：
逻辑学研究
【发表日期】
：
2013年1期
其他文献
通过试验和数理统计分析方法对岩石耐磨性与岩石三轴强度的相关性进行研究。分别在隧洞内采集岩石试验样品进行岩石耐磨试验和三轴试验，对试验结果数据进行回归分析。分析表明
根据两河口水电站坝址区横向河谷结构面的发育特征,结合工程探讨了可能发生的工程地质问题。结果表明,主要的工程地质问题有早期平面"X"对边坡工程的影响、早期剖面"X"对抗滑稳定的影响、早期的张裂对防渗的影响。
介绍了海甸峡水电站库区薄济渠进水口引水隧洞堵漏工程的施工技术，包括方案、施工设备和材料、施工程序、施工工艺，最后介绍了检查结果。
2015年10月23-24日，由中国逻辑学会形式逻辑专业委员会、重庆市逻辑学会、四川省逻辑学会、贵州省逻辑学会、云南省逻辑学会共同主办，重庆第二师范学院承办的“2015年全国形式
通过对明挖和洞挖两个方案的比较表明,采用洞挖方案解决了白山抽水蓄能电站下库进/出水口长度增加与泄洪的相互影响问题,节省了工程投资。