演算LLC+q的扩充和应用

摘要

给出演算LLC+q的一个加模态算子的扩充,即通过向LLC+q的语言中增加一个一元模态算子◇,进而得到扩充演算LLC+q+◇。LLC+q+◇这一演算不但能够处理语言学中的回指以及量化问题,还能对“可能”这一模态词进行刻画。除此之外,LLC+q+◇还能被用于分析皮尔士谜题并给出皮尔士谜题的一个范畴类型逻辑的处理方案。