一個限制量化的高階邏輯——和它在語言推理上的應(yīng)用

1、一個限制量化的高階邏輯一一和它在語言推理上的應(yīng)用0 0 1 2 4 1 1A H i g h e r - O r d e r L o g i c o fR e s t r i c t e dQ u a n t i f i C a t i O n- - ·- - - A n d I t sA p p l i c a t i o ni n L i n g u i s t i cR e a s o n i n g院 系：專 業(yè)：申請

2、人：導(dǎo) 師：哲學(xué)系邏輯學(xué)蘇國鑫劉虎副教授答辯委員會委員( 簽名)主席：委員：殺音℃孫2 0 0 9 年6 月論文原創(chuàng)性聲明本人鄭重聲明：所呈交的學(xué)位論文，是本人在導(dǎo)師的指導(dǎo)下，獨立進(jìn)行研究工作所取得的成果。除文中已經(jīng)注明引用的內(nèi)容外，本論文不包含任何其他個人或集體已經(jīng)發(fā)表或撰寫過的作品成果。對本文的研究作出重要貢獻(xiàn)的個人和集體，均已在文中以明確方式標(biāo)明。本人完全意識到本聲明的法律結(jié)果由本人承擔(dān)。學(xué)位論文作者簽名： 當(dāng)圃衾吼叩‘月>