(1)本文介紹了一個新邏輯系統，并將其用于概稱句的生成、評價、使用、和修正。
(2)重言式理論是各多值邏輯系統的一個重要組成部分。
(3)所以，他們把樣本應用程序分為三個不同的邏輯系統：零售商系統、制造系統和演示系統。
(4)當均衡法占領了邏輯系統法所遺漏的地方時，它也付出了代價：這些語言沒有一定的結構。
(5)基于哥德爾模式的模態邏輯系統T，本文提出了一種關于清晰性和模糊性的量化邏輯，其中利用清晰性算子來代替必然性算子。
(6)對二值命題邏輯系統的程度化研究中命題公式的真度問題進行討論。
(7)在任何給定的分解層級上，都有一組從黑盒角度考慮的邏輯系統元素。
(8)第一章和第四章給出了他的一個方法，把語言當做一個邏輯系統。
(9)在模糊邏輯中，基于剩余格的邏輯系統起著非常重要的作用。
(10)提出采用時序邏輯系統描述故障的概念，推演故障的性質和相互關系，對故障進行分類，并預測將要發生的故障。
(11)第二，就像之前所指出的，“邏輯系統法”和“均衡法”在解釋意義上都會有遺失顯像的成分。
(12)當開始允許系統的子類型、邏輯系統部分以及所有其它雜項因素時，這一行程序會變成300行。
(13)為了建構數理辯證邏輯系統，必須首先正確理解如下幾個理論問題：1。
(14)本文從語構理論入手，在經典二值命題邏輯系統中給出公式的語構真度的概念，從兩個不同的角度給出語構真度的等價刻畫。
(15)Kish說這種邏輯系統特別適合于某些類型的計算，不過他和它的同事還在研究這在實際中如何實現。
(16)而平衡的方法捕捉什么邏輯系統的方法忽略了一些，但是它的成本如此：語言有沒有給它的結構。
(17)當附加的數據收集在一起時，許多模糊邏輯系統能連續地調節不同概率的值。
(18)模糊邏輯系統在1990年代初已取得商業上的運用。
(19)探討了模態邏輯系統S5的運算子性質，進而證明關于它的本原運算子集的一個定理，并給出一些推論。
(20)此外，還通過否定揭示出經典命題邏輯系統、直覺主義命題邏輯系統和弗協調命題邏輯系統之間的關系。
(21)毫無疑問,遷徙的候鳥聽從著大自然的召喚，但現在的壞消息是，有越來越多的證據表明，"硬線"正在斷開，遠古邏輯系統正在崩潰。
(22)顏色和物理布局可以帶來好的效果和一致的命名方案，如這個顯示出的圖應該能標識出邏輯系統實體及其宿主系統。
(23)Rubinstein的回答第一個問題的第二種方式指出了這種邏輯系統方法的缺點，轉而采用了接下來被我稱為“均衡法”的方法。
(24)如果這個是真實的，那么科特德爾地球的震動的發現是任何基于公理的邏輯系統必須一直保持完整的前提就是對2500年的圣經深刻理解。
(25)基于對蘊涵的一般認識，可以對司各脫法則問題提出一種不同于已有邏輯系統的解決策略。
(26)目的是要區分并聯接這些關鍵的功能和數據元素，隨之產生邏輯系統設計。
(27)其結果描述了這些代數內部結構的特征，同時也為從語義的角度進一步研究格值邏輯系統提供了一個新的途徑。
