天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产91传媒一区二区三区

當(dāng)前位置:主頁 > 社科論文 > 邏輯論文 >

系統(tǒng)Z中的范式和插入定理

發(fā)布時間:2018-04-23 18:50

  本文選題:范式 + 子公式; 參考:《哲學(xué)研究》1999年12期



[Abstract]:......
【作者單位】: 中國社會科學(xué)院哲學(xué)研究所
【分類號】:B81

【參考文獻(xiàn)】

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

1 張清宇;經(jīng)典命題邏輯的一個公理系統(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é)報(社會科學(xué)版);2009年01期

4 劉新文;;謝弗函數(shù)的概念分析[J];世界哲學(xué);2011年04期

5 劉新文;;論命題與括號[J];哲學(xué)研究;2008年09期

6 劉新文;;論邏輯常項的歸約[J];哲學(xué)研究;2011年06期

相關(guān)會議論文 前1條

1 劉新文;;命題邏輯的一個括號記法系統(tǒng)[A];2007年現(xiàn)代邏輯與邏輯史研討會論文集[C];2007年

相關(guān)博士學(xué)位論文 前1條

1 劉新文;系統(tǒng)Z的量化擴(kuò)張及其對話語表現(xiàn)理論的處理[D];中國社會科學(xué)院研究生院;2002年

【二級參考文獻(xiàn)】

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

1 張清宇;不用聯(lián)結(jié)詞的經(jīng)典命題邏輯系統(tǒng)[J];哲學(xué)研究;1995年05期

【相似文獻(xiàn)】

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

1 王勛敏;知識理性與價值理性──中國古代文本闡釋的雙軌與多維[J];湖北大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);1996年02期

2 Joanna Radwanska-Williams ,李詠燕;《失落的范式──M.Kruszewski的語言學(xué)理論》評介[J];當(dāng)代語言學(xué);2000年03期

3 王斌;翻譯研究概述[J];上海理工大學(xué)學(xué)報(社會科學(xué)版);2003年03期

4 王煒;多元重構(gòu):中國新文學(xué)史范式變革趨向[J];曲靖師范學(xué)院學(xué)報;2004年01期

5 滕翠欽;初唐詩歌的范式、大眾化和唐詩的繁榮[J];龍巖師專學(xué)報;2004年04期

6 汪雷;;農(nóng)村合作醫(yī)療:范式及其重構(gòu)[J];醫(yī)學(xué)與哲學(xué)(人文社會醫(yī)學(xué)版);2006年08期

7 溫福英;;淺析《科學(xué)革命的結(jié)構(gòu)》對后現(xiàn)代主義的影響[J];福建廣播電視大學(xué)學(xué)報;2007年01期

8 崔景貴;;“理解人性”:人本主義與心理教育范式[J];思想理論教育;2007年19期

9 趙明;;范式“不可通約性”解析[J];和田師范專科學(xué)校學(xué)報;2008年02期

10 許曉容;曹春宇;;論《風(fēng)中少林》的運作模式與范式價值[J];體育文化導(dǎo)刊;2008年04期

相關(guān)會議論文 前10條

1 何樹全;;走動式——高校輔導(dǎo)員工作范式初探[A];福建省高校思想政治教育研究會2007年年會優(yōu)秀論文專輯(二)[C];2007年

2 黃濤;;論構(gòu)建生態(tài)技術(shù)范式[A];2009中國可持續(xù)發(fā)展論壇暨中國可持續(xù)發(fā)展研究會學(xué)術(shù)年會論文集(上冊)[C];2009年

3 方巍;;關(guān)于社會排斥概念的本土化思索[A];秩序與進(jìn)步:社會建設(shè)、社會政策與和諧社會研究——浙江省社會學(xué)學(xué)會成立二十周年紀(jì)念暨2007學(xué)術(shù)年會論文集[C];2007年

4 林斐;;自我教育:大學(xué)生心理健康教育新范式[A];福建省高校思想政治教育研究會2009年年會優(yōu)秀論文專輯(一)[C];2010年

5 萬靜靜;;淺談不同歷史時期翻譯范式研究[A];語言與文化研究(第六輯)[C];2010年

6 漆昌柱;;運動員高級認(rèn)知過程研究的方法范式探析[A];第七屆全國體育科學(xué)大會論文摘要匯編(二)[C];2004年

7 郭永玉;;特質(zhì)、動機(jī)和敘事:人格研究的三種范式及其整合[A];第十一屆全國心理學(xué)學(xué)術(shù)會議論文摘要集[C];2007年

8 杜國平;;三值邏輯Sheffer[A];2005年邏輯研究專輯[C];2005年

9 戴冬香;;對我國旅游經(jīng)濟(jì)學(xué)學(xué)科研究的認(rèn)識與思考[A];旅游學(xué)研究(第五輯)[C];2010年

10 雷曜;;管理教育范式與模式的比較研究[A];2001年中國管理科學(xué)學(xué)術(shù)會議論文集[C];2001年

相關(guān)重要報紙文章 前10條

1 記者 黃莉莉;我市舉行紀(jì)念范式人同志誕辰100周年座談會[N];閩東日報;2009年

2 白剛 張榮艷;當(dāng)代社會發(fā)展的三大理論范式[N];社會科學(xué)報;2001年

3 ;“范式”死了[N];中國圖書商報;2000年

4 李懷斌;不確定性市場環(huán)境與自適應(yīng)型企業(yè)范式[N];經(jīng)濟(jì)日報;2003年

5 呂琴;大變局與歷史范式[N];中國圖書商報;2001年

6 馮之!垈ァ」鶑姟⌒旄咛;循環(huán)經(jīng)濟(jì)與末端治理的范式比較研究[N];光明日報;2003年

7 ;開創(chuàng)新的范式[N];建筑時報;2003年

8 中國人民大學(xué)新聞學(xué)院碩士 周俊;信息技術(shù)、傳播范式和社會行為[N];中國新聞出版報;2004年

9 朱小寧;打破軍事學(xué)術(shù)研究中的“范式”[N];解放軍報;2001年

10 王習(xí)平;用什么樣的教育面對未來[N];山西日報;2001年

相關(guān)博士學(xué)位論文 前10條

1 宮淑紅;美國教育技術(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 覃江梅;音樂教育哲學(xué)的審美范式與實踐范式[D];南京師范大學(xué);2008年

6 孫新強;美國《統(tǒng)一商法典》法理思想研究[D];山東大學(xué);2005年

7 張善根;知識變遷與社會意涵[D];上海大學(xué);2008年

8 莊錦英;情緒影響決策內(nèi)隱認(rèn)知機(jī)制的實驗研究[D];華東師范大學(xué);2003年

9 李明偉;媒介形態(tài)理論研究[D];中國社會科學(xué)院研究生院;2005年

10 周傳斌;中國民族理論新范式的探索[D];中央民族大學(xué);2005年

相關(guān)碩士學(xué)位論文 前10條

1 陳志剛;西方主流經(jīng)濟(jì)學(xué)范式的歷史演變與中國經(jīng)濟(jì)學(xué)范式的傳承重建[D];武漢理工大學(xué);2002年

2 周曉梅;翻譯研究中的意向性問題[D];南京師范大學(xué);2007年

3 張繼山;閑暇教育與校本課程開發(fā)之關(guān)系研究[D];首都師范大學(xué);2005年

4 鄧凡茂;課堂評價范式之研究[D];南京師范大學(xué);2005年

5 李仲泉;普通學(xué)校音樂教育審美范式的審視[D];南京師范大學(xué);2004年

6 魏成宇;宮體傳統(tǒng)與花間傳統(tǒng)[D];山東師范大學(xué);2006年

7 潘麗霞;知識經(jīng)濟(jì)條件下公共行政范式的演變[D];四川大學(xué);2003年

8 穆靜;基礎(chǔ)教育中的技術(shù)教育范式研究[D];南京師范大學(xué);2004年

9 李纓;建構(gòu)中國特色判例制度芻議[D];四川大學(xué);2005年

10 羅丹;從主體性到交互主體性:從獨白到對白[D];湖南師范大學(xué);2006年

,

本文編號:1793171

資料下載
論文發(fā)表

本文鏈接:http://sikaile.net/shekelunwen/ljx/1793171.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶8fc99***提供,本站僅收錄摘要或目錄,作者需要刪除請E-mail郵箱bigeng88@qq.com