舆论摘要：对于体例￡~*语构上的几何题目

　　朦胧推导和朦胧论理因为在朦胧遏制中都有着径直效率，所以遭到朦胧体例与人为智能知识界的普遍关心。到暂时为止，人们提出的朦胧推导本领已近百种，但那些本领均不足需要的表面普通。 1996年帝国俊熏陶提出了一个新的朦胧论理体例──情势体例 ￡~(*~[5]) ，并以此为普通提出了一种新的推导本领一三I算法，且从语义的观点为朦胧取式（Fuzzy Modus Ponens)与朦胧拒取式（Fuzzy Modus Tollens）简立了庄重的论理按照~([6][7])，为从语构的观点打开进一步的处事，正文重要举行了以次几上面的处事。 　　开始正文在￡~*中经过可证等价联系对公式集F作商后获得了商代数，￡~*-Lindenbaum代数，即￡~*中F的典范商代数[F],并对[F]的代数构造举行了接洽，证领会[F]是具备逆序对合对应（下简称逆合对应）的有界调配格，个中Kleene律创造，而且[F]中再有一个具备几何风趣本质的二元演算。 　　其次，经过对￡~*-Lindenbaum代数[F]构造的接洽，咱们创造￡~*中的14条正义不是彼此对抗的，个中（M1）,（M4）,（M5）,（M8）,（M9）不妨从其它九条正义中推出，以是不妨把￡~*的14条正义简化为9条，并称相映于这种简化情势的体例为￡~゜。其余，正文鉴于上头的简化体例￡~゜计划了￡~゜ 中9条正义之间的彼此联系，证领会这9条正义是彼此独力的，而且给出了常常表明独力性所用的本领。 　　在正文的结果一局部，咱们接洽了F格及其一种特出的展现情势，1965年，Goguen首先提出了F格，他除去序构造而外还设置了一种二元演算“*”，由此动身可设置包括“→”，进而可为朦胧论理供给一种新的赋值格，动作特出情景，F格不妨囊括形形色色的与单元区间相关的格，而这一景象并没有被某些鸿儒看法到，比方直观主义朦胧集然而是一种特出的L-朦胧集罢了。