Fuzzy蘊(yùn)涵代數(shù)及其拓?fù)?pdf

1、非經(jīng)典數(shù)理邏輯是模糊推理和模糊控制等的理論基礎(chǔ)．在非經(jīng)典數(shù)理邏輯不斷走向成熟和完善的過程中，眾多學(xué)者基于不同的蘊(yùn)涵算子引入了各種邏輯蘊(yùn)涵代數(shù)，如MV-代數(shù)，BCK代數(shù)，BL-代數(shù)，格蘊(yùn)涵代數(shù)和R0代數(shù)等．本文的目的是使用代數(shù)工具，拓?fù)鋵W(xué)的技巧和Domain理論的方法對各種邏輯代數(shù)及其拓?fù)溥M(jìn)行研究，探尋各種邏輯代數(shù)的刻畫及相互問的關(guān)系，為促進(jìn)非經(jīng)典數(shù)理邏輯的發(fā)展和學(xué)科間的交叉滲透注入新的活力． 本文第一章探討了Fuzzy蘊(yùn)涵代數(shù)(

2、簡稱FI代數(shù))的進(jìn)一步性質(zhì)．第二章系統(tǒng)地研究了滿足條件(Ic):(x→y)→y=(y→x)→x的一類特殊的FI代數(shù)一可交換的FI代數(shù)(簡稱CFI代數(shù))，獲得了此類代數(shù)的若干性質(zhì)，探討了CFI代數(shù)與其它邏輯代數(shù)，如HFI代數(shù)，格蘊(yùn)涵代數(shù)，R0代數(shù)，Heyting代數(shù)和剩余格等之間的關(guān)系．給出了CFI代數(shù)成為正則HFI代數(shù)的一個充要條件；證明了CFI代數(shù)都是弱R0代數(shù)，CFI代數(shù)都可看成格蘊(yùn)涵代數(shù)，格蘊(yùn)涵代數(shù)也都可看成CFI代數(shù)．還證明了C

3、FI代數(shù)在誘導(dǎo)偏序下構(gòu)成一個分配的剩余格．討論了CFI代數(shù)的子代數(shù)和乘積的一些性質(zhì)．第三章對FI代數(shù)中的MP濾子作了進(jìn)一步刻畫，給出了FI代數(shù)上的由非空子集生成的MP濾子的表示定理，證明了FI代數(shù)的全體MP濾子之集在集合包含序之下構(gòu)成一個分配的代數(shù)格，特別是一個Frame．在FI代數(shù)上引入了Fuzzy(素)MP濾子概念，給出了Fuzzy MP濾子的三個特征定理，證明了由Fuzzy集生成的Fuzzy MP濾子的表示定理和Fuzzy素MP濾