逻辑系统W^-,W,Wn中的广义矛盾式

在线阅读 下载PDF 导出详情
摘要 研究了多值逻辑系统中的广义矛盾式,并对这些多值逻辑系统中的广义矛盾式进行了分划,强调了这种分划的不重不漏.
机构地区 不详
出版日期 2006年03月13日(中国期刊网平台首次上网日期,不代表论文的发表时间)
  • 相关文献