请选择 进入手机版 | 继续访问电脑版

自由模态逻辑及其表列系统

2017-11-15 16:31| 发布者: think| 查看: 348| 评论: 0|原作者: 胡泽洪 邓雄雁|来自: 《学术研究》2017年第8期

摘要: “空词项”在语形、语义两方面都给模态谓词逻辑带来了难以克服的困难。于是,产生了旨在克服“空词项”的模态谓词逻辑,即自由模态逻辑。自由模态逻辑由于其复杂性,若用公理系统加以刻画,难以展现其全貌。相对于纯 ...

  [   ] “空词项在语形、语义两方面都给模态谓词逻辑带来了难以克服的困难。于是,产生了旨在克服空词项的模态谓词逻辑,即自由模态逻辑。自由模态逻辑由于其复杂性,若用公理系统加以刻画,难以展现其全貌。相对于纯对象语言的公理系统而言,表列系统同时涵盖对象语言和元语言,并且其完全性定理的证明更为简洁。因而,表列系统用来刻画自由模态逻辑更具优势。

[关键词] 表列系统     自由逻辑     模态逻辑     空词项

〔中图分类号〕B815.1 〔文献标识码〕〔文章编号〕 1000-7326201708-0018-05

阅读原文:自由模态逻辑及其表列系统 .rar

最新评论

手机版|归档|关于我们|( 粤ICP备14048290号 )

Powered by Discuz! X2

主办:学术研究杂志社 
地址:广州市天河区天河北路618号广东社会科学中心B座7楼学术研究杂志社 
邮编:510635 电邮:southacademic@126.com

© 学术研究杂志社 版权所有,未经授权禁止复制或建立镜像

回顶部