切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
通过演绎方式得概称句推理的逻辑
通过演绎方式得概称句推理的逻辑
来源 :逻辑学研究 | 被引量 : 0次 | 上传用户:SBRBWD0801
【摘 要】
:
基于[4]中的逻辑系统G,本文通过删减和增加公理及规则给出3个逻辑G0,GD和Gs,同时,我们通过对正常主项选择函数添加不同的条件给出与三个逻辑相应的不同的模型定义。其中,G0是GD和G
【作 者】
:
张立英
周北海
【机 构】
:
中央财经大学现代逻辑研究所,北京大学哲学系
【出 处】
:
逻辑学研究
【发表日期】
:
2013年1期
【关键词】
:
逻辑系统
概称句
推理
演绎
选择函数
主项
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于[4]中的逻辑系统G,本文通过删减和增加公理及规则给出3个逻辑G0,GD和Gs,同时,我们通过对正常主项选择函数添加不同的条件给出与三个逻辑相应的不同的模型定义。其中,G0是GD和Gs的基础。这些逻辑的给出是为了刻画通过演绎方式得概称句的推理的局部推理。
其他文献
引汉济渭秦岭隧洞岩石耐磨性与三轴强度的相关性试验研究
通过试验和数理统计分析方法对岩石耐磨性与岩石三轴强度的相关性进行研究。分别在隧洞内采集岩石试验样品进行岩石耐磨试验和三轴试验,对试验结果数据进行回归分析。分析表明
期刊
岩石
耐磨值
三轴强度
岩石试验
相关性
数理统计
两河口水电站陡倾横向河谷工程地质问题浅析
根据两河口水电站坝址区横向河谷结构面的发育特征,结合工程探讨了可能发生的工程地质问题。结果表明,主要的工程地质问题有早期平面"X"对边坡工程的影响、早期剖面"X"对抗滑稳定的影响、早期的张裂对防渗的影响。
期刊
变形
抗滑稳定性
渗漏
工程地质
裂隙岩体
断层
两河口水电站
海甸峡水电站库区薄济渠进水口引水隧洞堵漏工程的施工技术
介绍了海甸峡水电站库区薄济渠进水口引水隧洞堵漏工程的施工技术,包括方案、施工设备和材料、施工程序、施工工艺,最后介绍了检查结果。
期刊
引水隧洞
堵漏
施工技术
海甸峡水电站
2015年全国形式逻辑研讨会暨川渝黔滇逻辑学会年会会议综述
2015年10月23-24日,由中国逻辑学会形式逻辑专业委员会、重庆市逻辑学会、四川省逻辑学会、贵州省逻辑学会、云南省逻辑学会共同主办,重庆第二师范学院承办的“2015年全国形式
期刊
形式逻辑
川渝黔
学会
年会
中国社会科学院
综述
师范学院
西南政法大学
白山抽水蓄能电站下库进/出水口的优化设计
通过对明挖和洞挖两个方案的比较表明,采用洞挖方案解决了白山抽水蓄能电站下库进/出水口长度增加与泄洪的相互影响问题,节省了工程投资。
期刊
进/出水口
地下式
方案比较
白山抽水蓄能电站
紫坪铺大坝混凝土面板滑模施工
介绍了紫坪铺混凝土面板堆石坝的面板混凝土滑模施工机具配置、施工组织及施工工艺。通过精心组织,在工期紧、强度大的情况下,按期完成了面板滑模施工任务。
期刊
面板
滑模
砼
施工
紫坪铺大坝
其他学术论文