系統(tǒng)Z中的范式和插入定理
本文選題:范式 + 子公式 ; 參考:《哲學(xué)研究》1999年12期
[Abstract]:......
【作者單位】: 中國(guó)社會(huì)科學(xué)院哲學(xué)研究所
【分類號(hào)】:B81
【參考文獻(xiàn)】
相關(guān)期刊論文 前1條
1 張清宇;經(jīng)典命題邏輯的一個(gè)公理系統(tǒng)[J];哲學(xué)研究;1997年08期
【共引文獻(xiàn)】
相關(guān)期刊論文 前6條
1 唐芳芳;;基于廣義謝弗豎的分析性模態(tài)公理系統(tǒng)[J];邏輯學(xué)研究;2009年03期
2 劉新文;;周延理論和內(nèi)插定理[J];邏輯學(xué)研究;2012年02期
3 唐芳芳;;基于破壞性表列的模態(tài)公理系統(tǒng)[J];湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2009年01期
4 劉新文;;謝弗函數(shù)的概念分析[J];世界哲學(xué);2011年04期
5 劉新文;;論命題與括號(hào)[J];哲學(xué)研究;2008年09期
6 劉新文;;論邏輯常項(xiàng)的歸約[J];哲學(xué)研究;2011年06期
相關(guān)會(huì)議論文 前1條
1 劉新文;;命題邏輯的一個(gè)括號(hào)記法系統(tǒng)[A];2007年現(xiàn)代邏輯與邏輯史研討會(huì)論文集[C];2007年
相關(guān)博士學(xué)位論文 前1條
1 劉新文;系統(tǒng)Z的量化擴(kuò)張及其對(duì)話語(yǔ)表現(xiàn)理論的處理[D];中國(guó)社會(huì)科學(xué)院研究生院;2002年
【二級(jí)參考文獻(xiàn)】
相關(guān)期刊論文 前1條
1 張清宇;不用聯(lián)結(jié)詞的經(jīng)典命題邏輯系統(tǒng)[J];哲學(xué)研究;1995年05期
【相似文獻(xiàn)】
相關(guān)期刊論文 前10條
1 王勛敏;知識(shí)理性與價(jià)值理性──中國(guó)古代文本闡釋的雙軌與多維[J];湖北大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1996年02期
2 Joanna Radwanska-Williams ,李詠燕;《失落的范式──M.Kruszewski的語(yǔ)言學(xué)理論》評(píng)介[J];當(dāng)代語(yǔ)言學(xué);2000年03期
3 王斌;翻譯研究概述[J];上海理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2003年03期
4 王煒;多元重構(gòu):中國(guó)新文學(xué)史范式變革趨向[J];曲靖師范學(xué)院學(xué)報(bào);2004年01期
5 滕翠欽;初唐詩(shī)歌的范式、大眾化和唐詩(shī)的繁榮[J];龍巖師專學(xué)報(bào);2004年04期
6 汪雷;;農(nóng)村合作醫(yī)療:范式及其重構(gòu)[J];醫(yī)學(xué)與哲學(xué)(人文社會(huì)醫(yī)學(xué)版);2006年08期
7 溫福英;;淺析《科學(xué)革命的結(jié)構(gòu)》對(duì)后現(xiàn)代主義的影響[J];福建廣播電視大學(xué)學(xué)報(bào);2007年01期
8 崔景貴;;“理解人性”:人本主義與心理教育范式[J];思想理論教育;2007年19期
9 趙明;;范式“不可通約性”解析[J];和田師范?茖W(xué)校學(xué)報(bào);2008年02期
10 許曉容;曹春宇;;論《風(fēng)中少林》的運(yùn)作模式與范式價(jià)值[J];體育文化導(dǎo)刊;2008年04期
相關(guān)會(huì)議論文 前10條
1 何樹(shù)全;;走動(dòng)式——高校輔導(dǎo)員工作范式初探[A];福建省高校思想政治教育研究會(huì)2007年年會(huì)優(yōu)秀論文專輯(二)[C];2007年
2 黃濤;;論構(gòu)建生態(tài)技術(shù)范式[A];2009中國(guó)可持續(xù)發(fā)展論壇暨中國(guó)可持續(xù)發(fā)展研究會(huì)學(xué)術(shù)年會(huì)論文集(上冊(cè))[C];2009年
3 方巍;;關(guān)于社會(huì)排斥概念的本土化思索[A];秩序與進(jìn)步:社會(huì)建設(shè)、社會(huì)政策與和諧社會(huì)研究——浙江省社會(huì)學(xué)學(xué)會(huì)成立二十周年紀(jì)念暨2007學(xué)術(shù)年會(huì)論文集[C];2007年
4 林斐;;自我教育:大學(xué)生心理健康教育新范式[A];福建省高校思想政治教育研究會(huì)2009年年會(huì)優(yōu)秀論文專輯(一)[C];2010年
5 萬(wàn)靜靜;;淺談不同歷史時(shí)期翻譯范式研究[A];語(yǔ)言與文化研究(第六輯)[C];2010年
6 漆昌柱;;運(yùn)動(dòng)員高級(jí)認(rèn)知過(guò)程研究的方法范式探析[A];第七屆全國(guó)體育科學(xué)大會(huì)論文摘要匯編(二)[C];2004年
7 郭永玉;;特質(zhì)、動(dòng)機(jī)和敘事:人格研究的三種范式及其整合[A];第十一屆全國(guó)心理學(xué)學(xué)術(shù)會(huì)議論文摘要集[C];2007年
8 杜國(guó)平;;三值邏輯Sheffer[A];2005年邏輯研究專輯[C];2005年
9 戴冬香;;對(duì)我國(guó)旅游經(jīng)濟(jì)學(xué)學(xué)科研究的認(rèn)識(shí)與思考[A];旅游學(xué)研究(第五輯)[C];2010年
10 雷曜;;管理教育范式與模式的比較研究[A];2001年中國(guó)管理科學(xué)學(xué)術(shù)會(huì)議論文集[C];2001年
相關(guān)重要報(bào)紙文章 前10條
1 記者 黃莉莉;我市舉行紀(jì)念范式人同志誕辰100周年座談會(huì)[N];閩東日?qǐng)?bào);2009年
2 白剛 張榮艷;當(dāng)代社會(huì)發(fā)展的三大理論范式[N];社會(huì)科學(xué)報(bào);2001年
3 ;“范式”死了[N];中國(guó)圖書(shū)商報(bào);2000年
4 李懷斌;不確定性市場(chǎng)環(huán)境與自適應(yīng)型企業(yè)范式[N];經(jīng)濟(jì)日?qǐng)?bào);2003年
5 呂琴;大變局與歷史范式[N];中國(guó)圖書(shū)商報(bào);2001年
6 馮之浚 張偉 郭強(qiáng) 徐高田;循環(huán)經(jīng)濟(jì)與末端治理的范式比較研究[N];光明日?qǐng)?bào);2003年
7 ;開(kāi)創(chuàng)新的范式[N];建筑時(shí)報(bào);2003年
8 中國(guó)人民大學(xué)新聞學(xué)院碩士 周俊;信息技術(shù)、傳播范式和社會(huì)行為[N];中國(guó)新聞出版報(bào);2004年
9 朱小寧;打破軍事學(xué)術(shù)研究中的“范式”[N];解放軍報(bào);2001年
10 王習(xí)平;用什么樣的教育面對(duì)未來(lái)[N];山西日?qǐng)?bào);2001年
相關(guān)博士學(xué)位論文 前10條
1 宮淑紅;美國(guó)教育技術(shù)學(xué)的歷史與范式演變[D];華南師范大學(xué);2003年
2 魏建;當(dāng)代西方法經(jīng)濟(jì)學(xué)的分析范式研究[D];西北大學(xué);2001年
3 高峻;基于汶川地震重建的農(nóng)居建造范式及其策略研究[D];浙江大學(xué);2012年
4 楊慧文;變革中的教師教育范式:海峽兩岸之比較研究[D];華東師范大學(xué);2003年
5 覃江梅;音樂(lè)教育哲學(xué)的審美范式與實(shí)踐范式[D];南京師范大學(xué);2008年
6 孫新強(qiáng);美國(guó)《統(tǒng)一商法典》法理思想研究[D];山東大學(xué);2005年
7 張善根;知識(shí)變遷與社會(huì)意涵[D];上海大學(xué);2008年
8 莊錦英;情緒影響決策內(nèi)隱認(rèn)知機(jī)制的實(shí)驗(yàn)研究[D];華東師范大學(xué);2003年
9 李明偉;媒介形態(tài)理論研究[D];中國(guó)社會(huì)科學(xué)院研究生院;2005年
10 周傳斌;中國(guó)民族理論新范式的探索[D];中央民族大學(xué);2005年
相關(guān)碩士學(xué)位論文 前10條
1 陳志剛;西方主流經(jīng)濟(jì)學(xué)范式的歷史演變與中國(guó)經(jīng)濟(jì)學(xué)范式的傳承重建[D];武漢理工大學(xué);2002年
2 周曉梅;翻譯研究中的意向性問(wèn)題[D];南京師范大學(xué);2007年
3 張繼山;閑暇教育與校本課程開(kāi)發(fā)之關(guān)系研究[D];首都師范大學(xué);2005年
4 鄧凡茂;課堂評(píng)價(jià)范式之研究[D];南京師范大學(xué);2005年
5 李仲泉;普通學(xué)校音樂(lè)教育審美范式的審視[D];南京師范大學(xué);2004年
6 魏成宇;宮體傳統(tǒng)與花間傳統(tǒng)[D];山東師范大學(xué);2006年
7 潘麗霞;知識(shí)經(jīng)濟(jì)條件下公共行政范式的演變[D];四川大學(xué);2003年
8 穆靜;基礎(chǔ)教育中的技術(shù)教育范式研究[D];南京師范大學(xué);2004年
9 李纓;建構(gòu)中國(guó)特色判例制度芻議[D];四川大學(xué);2005年
10 羅丹;從主體性到交互主體性:從獨(dú)白到對(duì)白[D];湖南師范大學(xué);2006年
,本文編號(hào):1793171
本文鏈接:http://sikaile.net/shekelunwen/ljx/1793171.html