演算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年代开始,生态环境的恶化威胁到人类的生存,同时生态学理论有了一定的发展。在这样的背景下,西方一批学者积极探索解决生态危机的基本路径,发展出以人与自然关系为核
伴随着新课改的不断推进,教育教学改革也在不断地变化,在小学课程教学过程中,小学语文科目的教学不仅仅是为了提高学生成绩,更重要的是为了培养学生语文素养,为学生今后的发
随着新课改革的进行,分数已经不是决定学生学业好坏的唯一标准,各大“副课”逐渐被重视了起来。身为教育者,我们要切实认识到体育教学对学生的意义,但是现阶段学生对体育课堂