刻画动态否定的逻辑

发布时间：2019-09-29 12:13

【摘要】：通常的逻辑只涉及静态否定的概念。文章建立了几类动态系统来刻画动态否定概念,并引入相应的语义,然后证明这些系统相对这些语义是可靠和完全的。
【作者单位】：
【基金】：教育部基地重大项目《归纳逻辑及其应用》(项目编号05JJD720.40001)
【分类号】：B815.9

【相似文献】

相关期刊论文 前1条

1 李小五;;刻画动态否定的逻辑[J];中山大学学报(社会科学版);2008年02期

，

本文编号：2543927