广义量词的现代对当方阵研究

2015/1/8 15:11:30 人评论 次浏览 分类：逻辑学

 

作者： 林胜强

英文标题：

中文副标题：

英文副标题：

中文关键词：广义量词；对当方阵；单调性；广义三段论

英文关键词：

基金名称：“应用逻辑与逻辑应用研究”（14ZDB014）
基金类别：国家级（含部局）

中文摘要：
    在现代对当方阵中，逻辑规律具有一致性。对一个现代对当方阵中的任意一个广义量词施加任意多次的三种形式的否定运算，得到的广义量词仍然是原来的现代对当方阵中的广义量词。在〈1, 1〉类型的广义量词所对应的现代对当方阵中，不但广义量词与其三个否定量词的单调性之间具有可转换关系；而且它们所对应的广义三段论之间具有可化归关系。由于〈1，1〉类型广义量词在自然语言中普遍存在，所以，此研究对计算机科学中的知识表示和知识推理具有重要的意义。

英文摘要：