Semantic Of Intuitionistic Fuzzy Propositional Logic System

In　this　paper,　a　new　Intuitionistic　Fuzzy　Propositional　Logic　System　is　built　by　defining　a　new　R_T-　implication　operator　.　The　characters　of　this　implication　operator　are　discussed　and　the　generalized　quasi-tautology　is　studied.　There　are　five　different　kinds　of　quasi-tautology　and　they　are　(2^-1,2^-1)-　quasi-tautology,　( 2^-1, 2^-1)⁺ -quasi-tautology,　(2^-1,0) -quasi-tautology,　(2^-1,0)⁺-　　quasi-tautology　and(1,0)?quasi-tautology　.The　theory　of　generalized　quasi-　tautology　of　Wang　guo-jun　is　generalized　from　one-dimension　to　all　two-dimension　Intuitionistic　Fuzzy　Propositional　Logic　algebra.　　Then,　on　the　basis,　the　paper　uses　homomorphism　and　symmetric　expression　to　discuss　separately　the　relation　of　generalized　quasi-tautology　in　system　I_2n²Ã£â‚¬â‚¬and　I_2n+1² 　by　part-valued　for　formula　in　system　I₀².　The　relation　is　different　from　that　of　paper,　when　it　satisfies　the　condition　of　theorem　2.4.3,　it　is　different　only　in　every　small　set.　In　the　meanwhile,　the　paper　gives　a　kind　of　upgrade　algorithm　among　the　generalized　quasi-tautology　to　get　more　and　more　true　quasi-tautology　,even　(1,0)? 　quasi-tautology.　At　last,　the　truth　degree　of　Intuitionistic　Fuzzy　Propositional　Logic　System　is　defined　by　the　knowledge　of　probability　theory,　the　relation　of　α?truth　degree　and　the　α?tautology　is　discussed,　At　the　same　time,　(2^-1 , 2^-1)⁺ -MP　rule　,　( 2^-1 , 2^-1)⁺-HS　rule　and　α-intersection　reasoning　rule　are　discussed　and　the　distribution　in　[0,1]　is　studied.