(1) 本文介紹了一個新邏輯系統(tǒng)，并將其用于概稱句的生成、評價、使用、和修正。

(2) 重言式理論是各多值邏輯系統(tǒng)的一個重要組成部分。

(3) 所以，他們把樣本應(yīng)用程序分為三個不同的邏輯系統(tǒng)：零售商系統(tǒng)、制造系統(tǒng)和演示系統(tǒng)。

(4) 當(dāng)均衡法占領(lǐng)了邏輯系統(tǒng)法所遺漏的地方時，它也付出了代價：這些語言沒有一定的結(jié)構(gòu)。

(5) 基于哥德爾模式的模態(tài)邏輯系統(tǒng)T，本文提出了一種關(guān)于清晰性和模糊性的量化邏輯，其中利用清晰性算子來代替必然性算子。

(6) 對二值命題邏輯系統(tǒng)的程度化研究中命題公式的真度問題進行討論。

(7) 在任何給定的分解層級上，都有一組從黑盒角度考慮的邏輯系統(tǒng)元素。

(8) 第一章和第四章給出了他的一個方法，把語言當(dāng)做一個邏輯系統(tǒng)。

(9) 在模糊邏輯中，基于剩余格的邏輯系統(tǒng)起著非常重要的作用。

(10) 提出采用時序邏輯系統(tǒng)描述故障的概念，推演故障的性質(zhì)和相互關(guān)系，對故障進行分類，并預(yù)測將要發(fā)生的故障。

(11) 第二，就像之前所指出的，“邏輯系統(tǒng)法”和“均衡法”在解釋意義上都會有遺失顯像的成分。

(12) 當(dāng)開始允許系統(tǒng)的子類型、邏輯系統(tǒng)部分以及所有其它雜項因素時，這一行程序會變成300行。

(13) 為了建構(gòu)數(shù)理辯證邏輯系統(tǒng)，必須首先正確理解如下幾個理論問題：1。

(14) 本文從語構(gòu)理論入手，在經(jīng)典二值命題邏輯系統(tǒng)中給出公式的語構(gòu)真度的概念，從兩個不同的角度給出語構(gòu)真度的等價刻畫。

(15) Kish說這種邏輯系統(tǒng)特別適合于某些類型的計算，不過他和它的同事還在研究這在實際中如何實現(xiàn)。

(16) 而衡的方法捕捉什么邏輯系統(tǒng)的方法忽略了一些，但是它的成本如此：語言有沒有給它的結(jié)構(gòu)。

(17) 當(dāng)附加的數(shù)據(jù)收集在一起時，許多模糊邏輯系統(tǒng)能連續(xù)地調(diào)節(jié)不同概率的值。

(18) 模糊邏輯系統(tǒng)在1990年代初已取得商業(yè)上的運用。

(19) 探討了模態(tài)邏輯系統(tǒng)S5的運算子性質(zhì)，進而證明關(guān)于它的本原運算子集的一個定理，并給出一些推論。

(20) 此外，還通過否定揭示出經(jīng)典命題邏輯系統(tǒng)、直覺主義命題邏輯系統(tǒng)和弗協(xié)調(diào)命題邏輯系統(tǒng)之間的關(guān)系。

(21) 毫無疑問,遷徙的候鳥聽從著大自然的召喚，但現(xiàn)在的壞消息是，有越來越多的證據(jù)表明，"硬線"正在斷開，遠古邏輯系統(tǒng)正在崩潰。

(22) 顏色和物理布局可以帶來好的效果和一致的命名方案，如這個顯示出的圖應(yīng)該能標(biāo)識出邏輯系統(tǒng)實體及其宿主系統(tǒng)。

(23) Rubinstein的回答第一個問題的第二種方式指出了這種邏輯系統(tǒng)方法的缺點，轉(zhuǎn)而采用了接下來被我稱為“均衡法”的方法。

(24) 如果這個是真實的，那么科特德爾地球的震動的發(fā)現(xiàn)是任何基于公理的邏輯系統(tǒng)必須一直保持完整的前提就是對2500年的圣經(jīng)深刻理解。

(25) 基于對蘊涵的一般認識，可以對司各脫法則問題提出一種不同于已有邏輯系統(tǒng)的解決策略。

(26) 目的是要區(qū)分并聯(lián)接這些關(guān)鍵的功能和數(shù)據(jù)元素，隨之產(chǎn)生邏輯系統(tǒng)設(shè)計。

(27) 其結(jié)果描述了這些代數(shù)內(nèi)部結(jié)構(gòu)的特征，同時也為從語義的角度進一步研究格值邏輯系統(tǒng)提供了一個新的途徑。