首页> 中文会议>2017年全国现代逻辑学术研讨会 >关于强制外延的抽象论辩系统修正规则

关于强制外延的抽象论辩系统修正规则

页面导航

摘要
著录项
相似文献
相关主题

摘要

满足强制外延的抽象论辩系统修正是指对抽象论辩框架进行修正,以使得某一论证集合成为其在某一语义下的外延.本文借助外延的结构特征以及外延与抽象论辩框架的论证集合、论证子集和各论证之间的关系,对可相容语义、完全语义、稳定语义、优先语义和基语义进行了分析,提出满足强制外延的抽象论辩框架的扩展规则和限制规则.

著录项

来源
《2017年全国现代逻辑学术研讨会》|2017年|186-201|共16页
会议地点香港
作者
徐康; 廖备水;
展开▼
作者单位

香港中医学会、教育研究基金会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类概念、范畴;
关键词
抽象论辩系统; 强制外延; 修正规则;
入库时间 2022-08-17 11:31:16

相似文献

中文文献
外文文献
专利

1. 关于强制外延的抽象论辩系统修正规则 [J] . 徐康 ,廖备水 . 逻辑学研究 . 2020,第005期
2. 动态抽象论辩系统基语义的单调性及其判定规则 [J] . 廖备水 ,徐康 ,余喆 . 逻辑学研究 . 2017,第002期
3. 关于实施即将生效的国际海事组织(IMO)有关国际航行海船的救生设备的公约修正案、强制性规则修正案及相关文件的通知 [J] . . 中国船检 . 2008,第2期
4. 国际海运危险货物规则的修正及强制执行对中国影响的分析 [J] . 栗茂峰 . 交通环保 . 2003,第0z1期
5. 抽象论辩系统的动态性分析 [J] . 徐康1 ,廖备水2 . 重庆理工大学学报 . 2017,第008期
6. 基于控制规则自修正模糊算法的三级液位控制系统 [C] . 沈德耀 . 中国自动化学会计算技术与自动化学术会议 . 1996
7. 抽象论辩系统修正规则研究 [A] . 徐康 . 2017

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号