發(fā)布時(shí)間：2017-10-12 21:36

  本文關(guān)鍵詞：論廣義量詞的對(duì)稱(chēng)性及相關(guān)性質(zhì)

  更多相關(guān)文章： (余)對(duì)稱(chēng)性 (余)相交性 (余)駐留性 單調(diào)性

【摘要】：首先介紹相關(guān)的概念;其次,筆者證明了類(lèi)型為〈1,1〉的廣義量詞的對(duì)稱(chēng)性與單調(diào)性的關(guān)系定理;然后,筆者給出了該類(lèi)量詞的余對(duì)稱(chēng)性、余相交性和余駐留性的定義;接著,筆者提出并證明了關(guān)于這三個(gè)性質(zhì)的四個(gè)定理;最后,證明了余對(duì)稱(chēng)性與單調(diào)性的關(guān)系定理。
【作者單位】： 中國(guó)社會(huì)科學(xué)院研究行政院哲學(xué)系;
【關(guān)鍵詞】： (余)對(duì)稱(chēng)性 (余)相交性 (余)駐留性 單調(diào)性
【基金】：“北京市哲學(xué)社會(huì)科學(xué)‘十一五'規(guī)劃項(xiàng)目:邏輯語(yǔ)義學(xué)研究(06BaZX022)”資助
【分類(lèi)號(hào)】：B819
【正文快照】： “在可控的方式下通過(guò)廣義量詞的方法是增強(qiáng)一階邏輯的表達(dá)力的方法之一。”[‘〕1957年，Mostowski發(fā)現(xiàn)存在許多不能夠根據(jù)一階邏輯中的V和」來(lái)定義的廣義量詞[，〕。1966年Lindstrom對(duì)廣義量詞中的Lindstrom量詞的概念給出了形式化的定義〔3〕。廣義量詞理論提出了自然語(yǔ)言

【相似文獻(xiàn)】

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

1 聶欣如;電影的單調(diào)性語(yǔ)言[J];文藝研究;1986年01期

2 覃事新;復(fù)合函數(shù)單調(diào)性的判別方法[J];常德師范學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);1995年03期

3 張曉君;;廣義量詞的相關(guān)性質(zhì)研究[J];邏輯學(xué)研究;2010年03期

4 劉偉;廣義量詞理論中的單調(diào)性研究[J];外語(yǔ)學(xué)刊;2002年01期

5 楊麗;;分析導(dǎo)數(shù)在函數(shù)中的應(yīng)用[J];青年文學(xué)家;2009年04期

6 由雷,王艷;凸函數(shù)的一個(gè)等價(jià)定義[J];北華大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);1997年01期

7 孫英杰;;對(duì)漢語(yǔ)“都”的語(yǔ)義考察[J];黑龍江社會(huì)科學(xué);2007年03期

8 丁國(guó)旗;廣義量詞及其單調(diào)性[J];山東外語(yǔ)教學(xué);2001年03期

9 黎日松,馬玲;《函數(shù)迭代與一維動(dòng)力系統(tǒng)》中一個(gè)定理的注記[J];湛江師范學(xué)院學(xué)報(bào);2004年03期

10 吳大坤;;用高等數(shù)學(xué)處理初等數(shù)學(xué)問(wèn)題[J];棗莊學(xué)院學(xué)報(bào);1988年04期

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

1 楊杰;沙曉東;;受彎構(gòu)件裂縫彎矩配筋關(guān)系初探[A];中國(guó)土木工程學(xué)會(huì)港口工程分會(huì)技術(shù)交流文集[C];2009年

2 趙海良;諸昌鈐;;分檔隸屬函數(shù)對(duì)控制算法單調(diào)性的影響[A];模糊集理論與模糊應(yīng)用專(zhuān)輯——中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十屆年會(huì)論文選集[C];2000年

3 劉郁涵;;如何生成不確定測(cè)度[A];第十屆中國(guó)青年信息與管理學(xué)者大會(huì)論文集[C];2008年

4 焦永樹(shù);嚴(yán)宗達(dá);朱寶安;;數(shù)學(xué)規(guī)劃加權(quán)殘值法分析文克勒基礎(chǔ)板問(wèn)題[A];第六屆全國(guó)結(jié)構(gòu)工程學(xué)術(shù)會(huì)議論文集（第一卷）[C];1997年

5 周勤;;GMs質(zhì)量評(píng)估方法在新生兒中的初步應(yīng)用[A];第六屆江浙滬兒科學(xué)術(shù)會(huì)議暨兒科學(xué)基礎(chǔ)與臨床研究進(jìn)展學(xué)術(shù)班論文匯編[C];2009年

6 弓肇祥;季冠芳;;哲學(xué)邏輯的幾個(gè)理論問(wèn)題[A];邏輯研究文集——中國(guó)邏輯學(xué)會(huì)第六次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];2000年

7 張力;;淺談二次函數(shù)在高中階段的再認(rèn)識(shí)[A];全國(guó)教育科研“十五”成果論文集（第二卷）[C];2005年

8 劉小娟;方卯發(fā);;雙量子系統(tǒng)任意態(tài)的條件熵糾纏度[A];第十一屆全國(guó)量子光學(xué)學(xué)術(shù)會(huì)議論文摘要集[C];2004年

9 尹連生;白玉皎;;GM(1,1)模型建模條件及模型改造[A];中國(guó)土地學(xué)會(huì)首屆青年學(xué)術(shù)年會(huì)論文集[C];1992年

10 鄒崇理;;MG與GQ理論對(duì)自然語(yǔ)言限定詞的研究[A];理有固然——紀(jì)念金岳霖先生百年誕辰[C];1995年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前7條

1 通訊員　 昝忠良;透明 文明 高效 優(yōu)質(zhì)[N];人民代表報(bào);2006年

2 國(guó)海證券固定收益證券研究中心 楊永光;升值預(yù)期考驗(yàn)央行匯控能力[N];證券時(shí)報(bào);2005年

3 山東省萊州市沙河鎮(zhèn)中心小學(xué) 杜洪芝;“六招”培養(yǎng)學(xué)生計(jì)算能力[N];大眾科技報(bào);2007年

4 深圳商報(bào)記者 鄧小群 整理;用好五十天 創(chuàng)造小奇跡[N];深圳商報(bào);2003年

5 本報(bào)記者 蔣永峰;為把實(shí)驗(yàn)室成果轉(zhuǎn)化為生產(chǎn)力[N];湖南經(jīng)濟(jì)報(bào);2007年

6 湖南育賢中學(xué) 周友良;函數(shù)的單調(diào)性在數(shù)學(xué)解題中的靈活運(yùn)用[N];山西科技報(bào);2003年

7 薛艷文;導(dǎo)數(shù)知識(shí)誤用解析[N];學(xué)知報(bào);2010年

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

1 徐東坡;遞歸神經(jīng)網(wǎng)絡(luò)梯度學(xué)習(xí)算法的收斂性[D];大連理工大學(xué);2009年

2 尹河;在非結(jié)構(gòu)自適應(yīng)網(wǎng)格上對(duì)二維Euler方程進(jìn)行數(shù)值模擬[D];西北工業(yè)大學(xué);2001年

3 姚純青;規(guī)范固定Yang-Mills熱流及相關(guān)問(wèn)題研究[D];華東師范大學(xué);2006年

4 趙海良;單調(diào)慣性系統(tǒng)的智能模糊控制理論研究[D];西南交通大學(xué);2000年

5 鞏萬(wàn)中;Orlicz-Lorentz、Orlicz-Bochner空間中的單調(diào)性與逼近性質(zhì)[D];上海大學(xué);2011年

6 柳建軍;求解不適定問(wèn)題的非線性隱式迭代法和正則化GMRES方法[D];上海大學(xué);2009年

7 易泰山;單調(diào)動(dòng)力系統(tǒng)理論及其應(yīng)用[D];湖南大學(xué);2005年

8 魏軼華;隨機(jī)環(huán)境下的若干定價(jià)問(wèn)題研究[D];西安電子科技大學(xué);2004年

9 俞武揚(yáng);L_p-Brunn-Minkowski理論研究[D];上海大學(xué);2006年

10 孔令臣;對(duì)稱(chēng)錐互補(bǔ)問(wèn)題的互補(bǔ)函數(shù)和價(jià)值函數(shù)研究[D];北京交通大學(xué);2007年

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

1 羅政;關(guān)于Z-矩陣的修正不完全高斯—塞德?tīng)柕ㄗV半徑的單調(diào)性[D];浙江大學(xué);2003年

2 安紅娜;弱Orlicz空間的若干性質(zhì)[D];哈爾濱理工大學(xué);2009年

3 崔玉娟;一類(lèi)非線性方程的解的漸近性[D];華東師范大學(xué);2010年

4 張曉樂(lè);退化p-Laplace方程的正解的單調(diào)性及唯一性[D];大連理工大學(xué);2011年

5 楊芬;基于約束的關(guān)聯(lián)規(guī)則挖掘[D];華中科技大學(xué);2004年

6 李衛(wèi)平;分圓域的一些問(wèn)題研究[D];南京師范大學(xué);2007年

7 彭志龍;耦合擺型方程組的單調(diào)性與動(dòng)力學(xué)[D];蘇州大學(xué);2008年

8 張佩林;過(guò)阻尼擺型方程的不變曲線及強(qiáng)阻尼耦合振子系的行波解[D];蘇州大學(xué);2008年

9 許春蘭;一類(lèi)耦合振子系的約化與欠阻尼F-K模型行波解的穩(wěn)定性[D];蘇州大學(xué);2008年

10 王俊輝;高中生對(duì)數(shù)列的理解[D];華東師范大學(xué);2009年

，

本文編號(hào)：1021050