演算LLC+q的扩充和应用

来源 :重庆理工大学学报:社会科学 | 被引量 : 0次 | 上传用户:prince262
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
给出演算LLC+q的一个加模态算子的扩充,即通过向LLC+q的语言中增加一个一元模态算子◇,进而得到扩充演算LLC+q+◇。LLC+q+◇这一演算不但能够处理语言学中的回指以及量化问题,还能对“可能”这一模态词进行刻画。除此之外,LLC+q+◇还能被用于分析皮尔士谜题并给出皮尔士谜题的一个范畴类型逻辑的处理方案。
其他文献
Epstein-Barr病毒(EBV)存在于经典霍奇金淋巴瘤(cHL)患者的肿瘤细胞中,但病毒对这些肿瘤发病机制的贡献仍然知之甚少。病毒相关cHL中的EBV基因组表达有限的基因子集,仅限于非
2020年2月28日国际体育仲裁院公布了对孙杨抗检行为的裁决,一时间引起了全国热议。如果仔细观察,会发现从孙杨抗检行为开始到裁决的作出,严格责任原则便一直发挥着作用。世界
我国法院内设机构的行政化运作与扩张性配置严重干扰了审判权的独立行使,虽经顶层设计的强力推动,内设机构改革的实际动作仍较为有限,距离此项改革的预期目标还有不小的差距
近年来,以高校联盟为代表的京津冀高等教育一体化发展成果显著,但域内法学教育协同合作却呈现出零星式、短期性和非可持续的发展态势。究其原因,与法学教育自身特点及京津冀
20世纪60年代开始,生态环境的恶化威胁到人类的生存,同时生态学理论有了一定的发展。在这样的背景下,西方一批学者积极探索解决生态危机的基本路径,发展出以人与自然关系为核