首页 | 本学科首页   官方微博 | 高级检索  
     

广义量词的现代对当方阵研究
作者姓名:林胜强
作者单位:四川师范大学 政治教育学院,成都,610066
基金项目:国家社科基金重大项目“应用逻辑与逻辑应用研究”(14ZDB014)。
摘    要:在现代对当方阵中,逻辑规律具有一致性。对一个现代对当方阵中的任意一个广义量词施加任意多次的三种形式的否定运算,得到的广义量词仍然是原来的现代对当方阵中的广义量词。在〈1,1〉类型的广义量词所对应的现代对当方阵中,不但广义量词与其三个否定量词的单调性之间具有可转换关系;而且它们所对应的广义三段论之间具有可化归关系。由于〈1,1〉类型广义量词在自然语言中普遍存在,所以,此研究对计算机科学中的知识表示和知识推理具有重要的意义。

关 键 词:广义量词  对当方阵  单调性  广义三段论
本文献已被 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号