演算LLC+q的扩充和应用
发布时间：2022-05-02 23:11
给出演算LLC+q的一个加模态算子的扩充,即通过向LLC+q的语言中增加一个一元模态算子◇,进而得到扩充演算LLC+q+◇。LLC+q+◇这一演算不但能够处理语言学中的回指以及量化问题,还能对"可能"这一模态词进行刻画。除此之外,LLC+q+◇还能被用于分析皮尔士谜题并给出皮尔士谜题的一个范畴类型逻辑的处理方案。
【文章页数】：5 页
【文章目录】：
一、演算LLC+q的基本构造
二、演算LLC+q的扩充
三、演算LLC+q+◇的应用
四、结语
【参考文献】：
期刊论文
[1]皮尔士谜题的范畴类型逻辑解析[J]. 贾青. 哲学动态. 2017(10)
[2]皮尔士谜题[J]. 贾青. 世界哲学. 2015(05)
本文编号：3650145
【文章页数】：5 页
【文章目录】：
一、演算LLC+q的基本构造
二、演算LLC+q的扩充
三、演算LLC+q+◇的应用
四、结语
【参考文献】：
期刊论文
[1]皮尔士谜题的范畴类型逻辑解析[J]. 贾青. 哲学动态. 2017(10)
[2]皮尔士谜题[J]. 贾青. 世界哲学. 2015(05)
本文编号：3650145
本文链接：https://www.wllwen.com/kejilunwen/yysx/3650145.html
