本文關(guān)鍵詞：同構(gòu)、P-態(tài)射、互模擬與模態(tài)等價性

  更多相關(guān)文章： 同構(gòu) P-態(tài)射 互模擬 模態(tài)等價 結(jié)構(gòu) 框架

【摘要】：結(jié)構(gòu)的模態(tài)等價性是指這些結(jié)構(gòu)上有效性的模態(tài)公式恰好相同。本文比較了模型之間的三類關(guān)系:同構(gòu)、P-態(tài)射、互模擬,從而得出互模擬關(guān)系概括了最大范圍的模態(tài)等價性,因為模型之間的互模擬關(guān)系包含它們之間的同構(gòu)關(guān)系和P-態(tài)射關(guān)系。同時,對框架等價性也給予了一定的研究,得出結(jié)論是:同構(gòu)的框架一定是模態(tài)等價的,但具有另外兩種關(guān)系的框架不一定是模態(tài)等價的。
【作者單位】： 南開大學(xué)哲學(xué)系;
【分類號】：B815.1
【正文快照】： 主持人語:邏輯是關(guān)于結(jié)構(gòu)的科學(xué)。各結(jié)構(gòu)的特征以及它們之間的關(guān)系,某些結(jié)構(gòu)特征在什么樣的關(guān)系和運算下具有不變性等等,是邏輯研究的重要內(nèi)容。而結(jié)構(gòu)的模態(tài)等價性是重要概念,它是指某些結(jié)構(gòu)上有效性的模態(tài)公式恰好相同。《同構(gòu)、P-態(tài)射、互模擬與模態(tài)等價性》一文比較了模

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 譚秀梅;任懷平;;同構(gòu)關(guān)系在英漢語篇中的銜接及其翻譯轉(zhuǎn)換[J];綏化學(xué)院學(xué)報;2007年02期

2 張震;孫春萍;;在路上的過客——試論《這些年我一直在路上》與《過客》的同構(gòu)關(guān)系[J];青春歲月;2011年14期

3 潘石杰,李嵐;從社會符號學(xué)角度論譯者主體性[J];寧波廣播電視大學(xué)學(xué)報;2005年03期

4 侯佳;;英文廣告中的詞匯銜接(英文)[J];語文學(xué)刊;2005年24期

5 邵子華;;論戲劇沖突與人生雙極性的同構(gòu)關(guān)系[J];阿壩師范高等�？茖W(xué)校學(xué)報;2006年02期

6 阮可人;;音樂與美術(shù)通質(zhì)同構(gòu)關(guān)系[J];黑龍江科技信息;2010年19期

7 姜芳;;中國當(dāng)代文藝與政治的同構(gòu)——淺議“文革”時期的文學(xué)和藝術(shù)[J];黨史博采(理論);2005年11期

8 林松源;從音樂的同構(gòu)關(guān)系看無調(diào)性音樂的表現(xiàn)內(nèi)涵[J];星海音樂學(xué)院學(xué)報;1997年03期

9 譚維智;;淺談楊朔散文的“同構(gòu)”[J];綏化學(xué)院學(xué)報;1992年01期

10 林國清;;古典悲劇、悲喜劇與宗教祭祀儀式同構(gòu)關(guān)系探微[J];福建論壇(人文社會科學(xué)版);2009年12期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 顏鋒;陳韜略;韓婷婷;呂建;;Pi演算的一種變例及其開互模擬[A];2005年全國理論計算機科學(xué)學(xué)術(shù)年會論文集[C];2005年

2 武彥平;;通信距離受限的進程代數(shù)研究[A];2009年研究生學(xué)術(shù)交流會通信與信息技術(shù)論文集[C];2009年

3 蔡松琦;;語言與和聲交融的教學(xué)實踐及其他[A];全國和聲復(fù)調(diào)教學(xué)研討會論文匯編[C];2010年

4 孫延;劉卉;;建筑情感空間與色彩空間的同構(gòu)關(guān)系淺析[A];色彩科學(xué)應(yīng)用與發(fā)展——中國科協(xié)2005年學(xué)術(shù)年會論文集[C];2005年

5 尼躍紅;;在圖形的詩意中暢游——關(guān)于圖形含義的探討[A];“歲寒三友——詩意的設(shè)計”——兩岸三地中國傳統(tǒng)圖形與現(xiàn)代視覺設(shè)計學(xué)術(shù)研討會論文集[C];2004年

6 張金成;;論系統(tǒng)DPA的基礎(chǔ)及辯證模擬[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

7 余揚;;粗糙集的提升分析[A];第八屆中國青年運籌信息管理學(xué)者大會論文集[C];2006年

8 李鴻淵;;論林黛玉的丫鬟紫鵑與雪雁[A];水滸爭鳴（第十輯）[C];2008年

9 蕭德云;莫以為;;混合系統(tǒng)的驗證與控制綜合[A];第二十一屆中國控制會議論文集[C];2002年

10 潘文;康凱彪;張麗君;;中醫(yī)學(xué)是中華民族文化的優(yōu)秀代表[A];甘肅省中醫(yī)藥學(xué)會2008年學(xué)術(shù)年會論文集[C];2008年

中國重要報紙全文數(shù)據(jù)庫 前10條

1 陳青松;像似符號思維與文學(xué)創(chuàng)作[N];文藝報;2006年

2 胡惠林;在市場經(jīng)濟中實踐先進文化[N];中國文化報;2002年

3 王萬舉（本文作者為作家協(xié)會文藝評論家）;到底誰在娛樂[N];河北日報;2002年

4 河西;建筑“催情劑”的雙重指向[N];建筑時報;2006年

5 王慶憲;中醫(yī)學(xué)是中華傳統(tǒng)文化的優(yōu)秀代表[N];中國中醫(yī)藥報;2006年

6 李宗植;區(qū)域文化與區(qū)域經(jīng)濟[N];光明日報;2003年

7 梁樞;大樹下面[N];光明日報;2004年

8 胡惠林（本文作者為國家文化產(chǎn)業(yè)創(chuàng)新與發(fā)展研究基地辦公室主任 上海交通大學(xué)文化管理系副主任 教授）;文化產(chǎn)業(yè)：在市場經(jīng)濟中實現(xiàn)先進文化的前進方向[N];文學(xué)報;2003年

9 傅汝新;那個時代的愛情有無窮的意味[N];文藝報;2003年

10 張兵;文化是小說的根[N];中國圖書商報;2006年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 陳靖;帶實時的傳值與移動系統(tǒng)研究[D];中國科學(xué)院研究生院（軟件研究所）;2003年

2 史t，

本文編號：1250150