互联网 qkzz.net
全刊杂志网:首页 > 大学学报 > 文章正文
刊社推荐

一个刻画强否定的模态系统及其性质


□ 李小五 刘佳秋 徐秋华

  摘要:否定是逻辑学的中心概念之一。直觉主义用关系语义刻画了一个强否定,我们在此也用关系语义刻画一个强否定。所不同的是,我们的否定是直觉主义的否定的补,所以我们给出的刻画强否定的语义和系统就有一些刻画直觉主义否定的语义和系统所没有的性质。例如,禁自返相对于我们的语义是模态可定义的。
  关键词:否定;强否定;关系语义;禁自返
  中图分类号:B81 文献标识码:A 文章编号:0438-0460(2008)06-0098-08
  
  注:“本文中所涉及到的图表、注解、公式等内容请以PDF格式阅读原文”


  注:请下载安装 Acrobat Reader 软件后点击下面的链接阅读。

阅读PDF原文: 1 2 3 4 5 6 7 8 




分享:
 
分享:
 
精彩图文
关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | EMS快递查询
全刊杂志赏析网 2015