文章摘要
主次条件句中的多余条件问题
  
DOI:
中文关键词: 主次条件句逻辑  多余条件  极小条件句逻辑
英文关键词: 
基金项目:
摘要点击次数: 1707
全文下载次数: 3
中文摘要:
      刘壮虎、李小五在文献[1]中建立了一种有两个条件的主次条件句逻辑 C2Lm.以此为基础,讨论主次条件句中的多余条件问题,证明了文献[1]中提出的一种扩充是不成立的.另外建立了 C2Lm的一个刻画某种多余条件的扩充系统 C1,证明了它的一些语法及语义性质
英文摘要:
      
查看全文   查看/发表评论  下载PDF阅读器
关闭