本文關(guān)鍵詞：多模態(tài)Sahlqvist公理模式性質(zhì)研究　出處：《湖南科技大學(xué)學(xué)報(社會科學(xué)版)》2013年04期 　論文類型：期刊論文

  更多相關(guān)文章： 多模態(tài) Sahlqvist公理模式 對應(yīng)性 完全性

【摘要】：多模態(tài)Sahlqvist公理模式是單模態(tài)Sahlqvis公式在多模態(tài)邏輯中的擴展。在多模態(tài)邏輯中,Sahlqvist公理模式對應(yīng)的框架具有一階性質(zhì),該框架的性質(zhì)可以用關(guān)系方程進行描述。任意包含Sahlpvist公理模式的正規(guī)多模態(tài)邏輯系統(tǒng)相對于該Sahlqvist公理模式對應(yīng)的一階框架類都是完全的。Sahlqvist公理模式對多模態(tài)邏輯系統(tǒng)具有更強的刻畫能力。
【作者單位】： 南京大學(xué)現(xiàn)代邏輯與邏輯應(yīng)用研究所;
【分類號】：B815.1
【正文快照】： 多模態(tài)邏輯是指在一個系統(tǒng)內(nèi)包含兩種或兩種以上的模態(tài)算子。根據(jù)模態(tài)算子的性質(zhì),已有的多模態(tài)系統(tǒng)主要分為同質(zhì)系統(tǒng)和異質(zhì)系統(tǒng)。模態(tài)算子之間的相互作用原則構(gòu)成多模態(tài)邏輯系統(tǒng)的特征公理。因此,對同一系統(tǒng)內(nèi)多種模態(tài)算子相互作用原則的公理化是形式化研究多模態(tài)邏輯的核心

【相似文獻】

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

1 徐畔;;多模態(tài)話語分析視角下的形體詩研究[J];杭州電子科技大學(xué)學(xué)報(社科版);2009年02期

2 吳雪穎;;基于改編電影的英美文學(xué)多模態(tài)教學(xué)模式探析[J];電影文學(xué);2009年22期

3 朱娟娟;劉宇紅;;公益廣告的多模態(tài)解讀——以汶川大地震的一幅公益廣告為例[J];南昌高專學(xué)報;2009年06期

4 朱慧玲;;多模態(tài)語境下英語教學(xué)的思考[J];長江工程職業(yè)技術(shù)學(xué)院學(xué)報;2010年01期

5 付蓓;;多模態(tài)化的英語寫作教與學(xué)[J];湖北師范學(xué)院學(xué)報(哲學(xué)社會科學(xué)版);2010年05期

6 曲穎;;大學(xué)英語教學(xué)多模態(tài)性對于解除中介語石化的作用[J];中國科技信息;2010年19期

7 付蓓;;多模態(tài)化英語寫作教學(xué)的認(rèn)知意義[J];語文學(xué)刊(外語教育與教學(xué));2010年08期

8 高蕊;趙濱麗;;大學(xué)英語課堂教學(xué)多模態(tài)話語研究[J];邊疆經(jīng)濟與文化;2010年12期

9 付磊;;基于“多模態(tài)理論”的《新視野大學(xué)英語視聽說》CAI軟件評價[J];山東廣播電視大學(xué)學(xué)報;2010年04期

10 楊春慧;;賀歲片《大笑江湖》的多模態(tài)話語分析[J];電影文學(xué);2011年07期

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

1 許滌非;;二重命題邏輯系統(tǒng)■_(T4)[A];2001年邏輯研究專輯[C];2001年

2 張子儀;楊德義;尹建祥;;一期縫合治愈外傷后完全性肛門失禁1例[A];中西醫(yī)結(jié)合大腸肛門病研究新進展——第十屆中國中西醫(yī)結(jié)合學(xué)會大腸肛門病學(xué)術(shù)研討會論文集[C];2004年

3 陳麗中;;完全性房內(nèi)阻滯伴房性心動過速1例[A];2005年浙江省心電生理與起搏學(xué)術(shù)年會論文匯編[C];2005年

4 蘇振民;林文雄;黃曲惠;;完全性并指畸形整復(fù)體會[A];第4屆中國美容與整形醫(yī)師大會論文匯編[C];2007年

5 鄭景浩;徐志偉;劉錦紛;史珍英;蘇肇伉;丁文祥;;嬰幼兒完全性血管環(huán)的早期外科治療[A];中華醫(yī)學(xué)會第七次全國胸心血管外科學(xué)術(shù)會議暨2007中華醫(yī)學(xué)會胸心血管外科青年醫(yī)師論壇論文集心血管外科分冊[C];2007年

6 吳華;顧旭東;姚云海;李巖;張雄偉;付建明;;改進往復(fù)式步行矯形器對完全性脊髓損傷患者步行能力的影響[A];2008年浙江省物理醫(yī)學(xué)與康復(fù)學(xué)術(shù)年會暨中樞神經(jīng)功能損傷康復(fù)新進展學(xué)習(xí)班論文匯編[C];2008年

7 徐一波;姚建民;;肉眼下成功斷前臂(完全性)再植一例[A];浙江省醫(yī)學(xué)會手外科學(xué)分會成立大會暨2008年學(xué)術(shù)年會論文匯編[C];2008年

8 王寧;;嚴(yán)重腦血管病人的多模態(tài)監(jiān)測[A];第二屆中西醫(yī)結(jié)合腦病診治新進展高級研討班專家講義及論文匯編[C];2010年

9 梁勝;張春富;李彪;;干細胞追蹤用PET/SPECT/MRI/Fluo多模態(tài)探針設(shè)計探討[A];中華醫(yī)學(xué)會第九次全國核醫(yī)學(xué)學(xué)術(shù)會議論文摘要匯編[C];2011年

10 蔡慧慧;包小源;楊冬青;;DAS中一種XML查詢完全性驗證算法[A];第26屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（B輯）[C];2009年

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

1 浙江大學(xué)教授 胡曉云　本報記者 孫魯威;堅持多模態(tài)產(chǎn)業(yè)模式[N];農(nóng)民日報;2011年

2 周新;中國完全性脊髓損傷臨床治療世界領(lǐng)先[N];醫(yī)藥導(dǎo)報(中藥報);2004年

3 記者 劉垠;在分子水平上認(rèn)識疾病[N];大眾科技報;2009年

4 記者 初衛(wèi)華;治療完全性脊髓損傷有進展[N];健康報;2001年

5 楊松林;腔隙性腦梗死不容輕視[N];大眾衛(wèi)生報;2007年

6 商報記者 藍有林;丟棄公式，把夢做下去[N];中國圖書商報;2006年

7 左中男;用可調(diào)外固定支架使肩鎖關(guān)節(jié)復(fù)位[N];健康報;2007年

8 張倩平;女孩需防尿道黏膜外翻[N];家庭醫(yī)生報;2007年

9 王琦;讓男人走出悲涼世界[N];中國礦業(yè)報;2001年

10 中南大學(xué)湘雅醫(yī)院教授 羅學(xué)宏;布—加綜合征易誤診[N];大眾衛(wèi)生報;2006年

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

1 張征;英語課堂多模態(tài)讀寫能力實證研究[D];山東大學(xué);2011年

2 李潔;多模態(tài)腦電信號分析及腦機接口應(yīng)用[D];上海交通大學(xué);2009年

3 江e，

本文編號：1328108