BR0代数及其对应逻辑系统中单原子生成公式的真值函数特征.pdfVIP

凌雪岷：BRo代数及对应逻辑系统中单原子公式生成的舅 lIIIII I Ill IlllllllllflI三 Y204951 3 摘要 非经典数理逻辑是模糊推理和模糊控制等的理论基础．在非经典数理逻辑不断走向成熟 和完善的过程中，许多学者基于不同的蕴涵算子引入了各种逻辑蕴涵代数，如MV代数，FI 数的工具探寻B凡代数与其它各类代数之间的关系．此外我们还探讨了在B＆代数对应的 BL*逻辑系统中，由单原子生成的{1，寸)型公式的真值函数的特征．通过这些研究，我们可 以认识和把握众多逻辑代数系统的共同的本质特征，为模糊逻辑尤其是模糊逻辑代数理论的 发展注入新的活力． 第一章作为预备，介绍了有关偏序、格、Heyting代数和FI代数的相关概念及性质． 代数中这三种性质等价且蕴涵可交换性，给出了B凡代数成为Boole代数的充要条件，证明 换B眦代数中的上确界和下确界． 间的关系，证明了可交换的BRo代数与有界可交换BCK代数之间的等价性．我们还给出了 可交换的BR0代数的两种新的刻画，使可交换的BRo代数形式更为简化． 出了仅由{1，专)生成的六个特殊逻辑公式及其真值函数，证明了单原子生成的{-1，专)型逻 辑公式的真值函数均可由恒等函数和这六个真值函数通过1和斗的运算简单得出，且这样得 到的函数恰好为48个． BL率系统；真值 关键词：可交换BRo代数；关联BR0代数；He、jting性条件；Boole代数； 函数 扬州大学硕士学位论文 2 一 Abstract atheoreticalof and contr01．Withnon- Non-classicalis basis logic fuzzyreasoningfuzzy have various classical tomaturationand scholars posed logicgraduallycoming perfection,many ondifferent based implication logicalalgebras this on some andsufficient BRe-algebras．Inpaper,basedBRo—algebras，WOgive necessary conditionsfor tobeBoolean of tools，we the BRo-algebras algebras．Making憾ealgebraic explore and alsodiscus