模态镜子里的反欧性

发布时间：2018-02-28 01:06

  本文关键词： 反欧性 模态不可反映性 麦金森的逻辑分类法　出处：《武汉大学学报(人文科学版)》2011年03期 　论文类型：期刊论文

【摘要】：我们用戈德布拉特—托马森定理证明了一般来说反欧性是模态不可反映的。由此我们找到了最小的反欧传递逻辑,证明了所有的反欧传递逻辑不仅具备有穷框架性,也都是可有穷公理化的,继而也都是可判定的;最后,我们研究了反欧传递逻辑格里的濒表格逻辑,给出了几个具有"临界性"濒表格扩充的逻辑的实例。
[Abstract]:By using the Goldblatt Thommassen theorem, we prove that in general anti-European properties are modal irreflexive, and we find the smallest anti-European transitive logic, and we prove that all anti-European transmission logic is not only of finite frame. Finally, we study the borderline table logic in the anti-European transitive logic lattice, and give some examples of the borderline table extension logic with "criticality".
【作者单位】： 武汉大学哲学学院;
【分类号】：B815.1

【共引文献】

相关期刊论文 前10条

1 汪亚文,李未;开放逻辑及其实现技术[J];北京航空航天大学学报;1992年03期

2 梁元星;构建课堂教学模式 培养学生数学猜测推理能力[J];广西民族学院学报(自然科学版);2002年02期

3 周光明,王成荣;语言哲学与司法公正[J];探索;2003年06期

4 王宪昌;;数学文化在数学教育中的地位[J];数学通报;2006年06期

5 薛茂芳,吴振林;关于教育学院数学专业课程设置的思考[J];数学教育学报;1993年01期

6 郑隆p，

本文编号：1545097