本文關(guān)鍵詞： 反歐性 模態(tài)不可反映性 麥金森的邏輯分類法　出處：《武漢大學(xué)學(xué)報(bào)(人文科學(xué)版)》2011年03期 　論文類型：期刊論文

【摘要】：我們用戈德布拉特—托馬森定理證明了一般來說反歐性是模態(tài)不可反映的。由此我們找到了最小的反歐傳遞邏輯,證明了所有的反歐傳遞邏輯不僅具備有窮框架性,也都是可有窮公理化的,繼而也都是可判定的;最后,我們研究了反歐傳遞邏輯格里的瀕表格邏輯,給出了幾個(gè)具有"臨界性"瀕表格擴(kuò)充的邏輯的實(shí)例。
[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".
【作者單位】： 武漢大學(xué)哲學(xué)學(xué)院;
【分類號(hào)】：B815.1

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 汪亞文,李未;開放邏輯及其實(shí)現(xiàn)技術(shù)[J];北京航空航天大學(xué)學(xué)報(bào);1992年03期

2 梁元星;構(gòu)建課堂教學(xué)模式 培養(yǎng)學(xué)生數(shù)學(xué)猜測推理能力[J];廣西民族學(xué)院學(xué)報(bào)(自然科學(xué)版);2002年02期

3 周光明,王成榮;語言哲學(xué)與司法公正[J];探索;2003年06期

4 王憲昌;;數(shù)學(xué)文化在數(shù)學(xué)教育中的地位[J];數(shù)學(xué)通報(bào);2006年06期

5 薛茂芳,吳振林;關(guān)于教育學(xué)院數(shù)學(xué)專業(yè)課程設(shè)置的思考[J];數(shù)學(xué)教育學(xué)報(bào);1993年01期

6 鄭隆p，

本文編號(hào)：1545097