發(fā)布時(shí)間：2018-08-24 10:30

【摘要】：混合語(yǔ)言是擴(kuò)張的命題的模態(tài)語(yǔ)言,它能指稱(chēng)(甚至量化)狀態(tài)。近年來(lái),混合語(yǔ)言的流行主要有兩點(diǎn)原因[1]45:首先,語(yǔ)言表達(dá)力的增強(qiáng),它能定義許多一般模態(tài)語(yǔ)言無(wú)法定義的框架性質(zhì),典型的例子,如禁自返性(i→‘◇i)、反對(duì)稱(chēng)性((i∧◇(j∧◇i))→j)等�；旌险Z(yǔ)言流行的另一個(gè)主要原因是,使用純公式公理化得到的邏輯系統(tǒng)有一般完全性的結(jié)果。
[Abstract]:Hybrid language is the modal language of extended propositions, which can refer to (or even quantify) states. In recent years, mixed languages have become popular for two main reasons [1] 45: first, the enhancement of language expressiveness, which can define many frame properties that can not be defined by a general modal language, typical examples, For example, the prohibitive i), antisymmetric (i A (j A i) j), and so on. Another major reason for the popularity of mixed languages is that the logical systems obtained by using pure formula axioms have general and complete results.
【作者單位】： 中國(guó)人民大學(xué)哲學(xué)院;
【分類(lèi)號(hào)】：B81

【相似文獻(xiàn)】

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

1 查非;劉虎;;狀態(tài)相似性與流量限制模型[J];邏輯學(xué)研究;2011年02期

2 劉新文;;現(xiàn)代模態(tài)邏輯探源[J];哲學(xué)動(dòng)態(tài);2011年05期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相關(guān)會(huì)議論文 前6條

1 任曉明;崔清田;;邏輯多元論與邏輯在人文科學(xué)中的應(yīng)用研究——兼談《次協(xié)調(diào)邏輯與人工智能》[A];2003年邏輯研究專(zhuān)輯[C];2003年

2 張維真;;論“蒯因的教條”——關(guān)于邏輯常項(xiàng)與邏輯真[A];1995年邏輯研究專(zhuān)輯[C];1995年

3 ;書(shū)訊[A];1998年邏輯研究專(zhuān)輯[C];1998年

4 余俊偉;;弗協(xié)調(diào)真值道義邏輯分析[A];2003年邏輯研究專(zhuān)輯[C];2003年

5 何庸;;《廣義模態(tài)邏輯》值得細(xì)讀[A];1995年邏輯研究專(zhuān)輯[C];1995年

6 季秋;王萬(wàn)森;王新;;人工智能中邏輯學(xué)的研究[A];邏輯與認(rèn)知學(xué)術(shù)研討會(huì)會(huì)議論文集[C];2004年

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

1 呂進(jìn);基于時(shí)間和行動(dòng)規(guī)劃的知識(shí)—意圖邏輯[D];西南大學(xué);2008年

，

本文編號(hào)：2200535