對我國兩個(gè)著名的數(shù)理邏輯系統(tǒng)的評析——為建構(gòu)我國的數(shù)理辯證邏輯系統(tǒng)獻(xiàn)言
【作者單位】: 河南大學(xué)哲學(xué)與公共管理學(xué)院;
【分類號】:B813
【共引文獻(xiàn)】
相關(guān)期刊論文 前10條
1 李秀敏;論亞相容邏輯中的“矛盾”——達(dá)科斯塔的亞相容邏輯思想述評[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2005年01期
2 郭開仲;消錯(cuò)邏輯[J];廣東工業(yè)大學(xué)學(xué)報(bào);1997年04期
3 張秉福;邏輯遞歸性及其哲學(xué)思考[J];南京航空航天大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2005年01期
4 戴青云,唐立中;元數(shù)學(xué)對計(jì)算機(jī)科學(xué)的啟示[J];計(jì)算機(jī)工程與應(yīng)用;2003年02期
5 于海飛;量子邏輯述評[J];蘭州大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2005年01期
6 郭開仲,劉世勇;模糊錯(cuò)誤邏輯分解轉(zhuǎn)化詞與內(nèi)涵否定詞的邏輯關(guān)系[J];模糊系統(tǒng)與數(shù)學(xué);2002年01期
7 徐盛桓;含意推導(dǎo)思維形態(tài)的變化和發(fā)展[J];外語學(xué)刊;1998年01期
8 薛偉江;后現(xiàn)代主義哲學(xué)思維方式的特征——從自組織動(dòng)力學(xué)的觀點(diǎn)看[J];社會(huì)科學(xué)輯刊;2004年03期
9 張秉福;邏輯遞歸性的哲學(xué)思考[J];信陽師范學(xué)院學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2004年05期
10 楊武金;弗協(xié)調(diào)邏輯及其理論特征[J];中共南京市委黨校南京市行政學(xué)院學(xué)報(bào);2004年02期
相關(guān)博士學(xué)位論文 前1條
1 張池平;多傳感器信息融合方法及其在空間目標(biāo)識別中的應(yīng)用[D];哈爾濱工業(yè)大學(xué);2006年
相關(guān)碩士學(xué)位論文 前9條
1 劉世勇;基于時(shí)空變化的消錯(cuò)學(xué)研究及其在決策中的應(yīng)用[D];廣東工業(yè)大學(xué);2002年
2 伍曉敏;基于VSK-t邏輯的Agent形式化模型[D];云南師范大學(xué);2004年
3 琚喬月;法律專家系統(tǒng)的邏輯學(xué)探析[D];河南大學(xué);2005年
4 蔡家琴;論司法推理[D];河南大學(xué);2005年
5 丁永強(qiáng);規(guī)范邏輯的法律思考[D];河南大學(xué);2005年
6 鄭束蕾;基于邏輯學(xué)的多媒體電子地圖集設(shè)計(jì)研究[D];中國人民解放軍信息工程大學(xué);2005年
7 應(yīng)毅;次協(xié)調(diào)數(shù)據(jù)庫研究[D];南京航空航天大學(xué);2006年
8 章江花;基于BDI-VSK-T邏輯的Agent系統(tǒng)形式化模型的研究[D];云南師范大學(xué);2006年
9 盧延鑫;邏輯學(xué)在計(jì)算機(jī)科學(xué)中的應(yīng)用[D];上海社會(huì)科學(xué)院;2008年
,本文編號:2276691
本文鏈接:http://sikaile.net/shekelunwen/ljx/2276691.html