舆论摘要：偏序集上的s代数及其与几何代数的联系

  非典范论理是朦胧推导及朦胧遏制等表面普通的一局部。连年来，朦胧遏制本领在运用上面博得了全球瞩手段胜利。但是，动作其中心的朦胧推导在数学普通上并非尽善尽美。以是，以接洽朦胧推导的数学普通为中心的朦胧论理，动作一个崭新的数学范围，惹起寰球上很多鸿儒的关心，而且博得了一系的接洽功效。而用代数的本领接洽论理题目，始于英国数学家G.Boole等人的处事,以此为东西她们赢得了典范论理体例的语法与语义的融洽性，树立了情势论理体例的完美性题目。尔后很多鸿儒鉴于对朦胧论理和朦胧推导的体例接洽，引入了相映的代数构造，并对其举行了洪量的接洽，得出了很多有意旨的论断。正文的手段即是运用代数东西对朦胧论理举行接洽，给出朦胧论理的一类代数笼统，即偏序集上的S代数。正文的重要处事如次：第一章 给出了普通S代数和S代数的设置，而后对它们的基础本质辨别举行了深刻的接洽，结果给出了偏序集上S代数的特性刻划，并对其独力性举行了接洽。第二章 与其余接洽论理体例而引入的代数构造各别，正文引入的偏序集上的S代数在普遍情景下不形成格，但是一个代数构造即使具备格构造，则具备很多崇高的本质。所以本章进一步接洽了S代数的本质，计划了偏序集上S代数形成格的少许前提，并从格的观点给出了偏序集上S代数几何格的本质。第三章 重要接洽了格上S代数满意各别论理前提后与其它驰名代数之间的彼此联系，本章中重要精细接洽了偏序集上S代数满意各别论理前提后与MV代数,BL代数,Heyting代数,Boole代数及BCK代数的彼此联系。