满模拟下的一些保持性  

Preservation under the Circumstance of Full Simulation

作　　者：李娜[1] 

机构地区：[1]南开大学哲学院

出　　处：《贵州民族大学学报（哲学社会科学版）》2016年第5期93-102,共10页Journal of Guizhou Minzu University:Philosophy and Social Science

基　　金：国家社科基金项目"超集;双仿及其在模态逻辑计算机科学中的应用研究"[项目编号:08BZX049]

摘　　要：令F和F'是两个模态框架,本文(不用对应理论)首先证明当f是F到F'上的满同态时,f具有一些保持性;第二,证明了如果Z是框架F到F'上的一个满模拟,那么Z具有一些保持性质。第三,证明了模拟的等价条件和互模拟的等价条件以及满模拟和互模拟关系;第四,定义了生成子框架并证明了:如果F'是F的生成子框架,那么F'也具有一些保持性质;第五,定义了F和F'的不交并F F'并证明了它也具有一些保持性质。最后,证明了任意的非空模型M与一个禁自返模型之间存在一个满模拟。With F and F’as two modes,this paper studies the preservation for f,supposing it as an epimorphis from F to F,as well as some other logic values and transformations in terms of generation,framework and sub-frameworks and features.

关 键 词：满同态 满模拟 互模拟 不交并 

分 类 号：B81[哲学宗教—逻辑学]