Fuzzy蘊涵代數(shù)及其拓撲.pdf

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

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

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