舆论摘要：几种论理体例台湾中国广播公司义重言式表面和广义冲突式表面的接洽

典范二¢值论理与朦胧论理的实质辨别在乎朦胧论理中赋值之集由典范论理中的夸大到区间，所以在多值论理体例中重言式大概会更少，普遍多引入并接洽展现了水平化和分层思维的广义重言式表面．1997年,帝国俊熏陶鉴于包括算子提出了矫正的Kleene体例，又于1998年引入了广义重言式的观念，对矫正的Kleene体例的广义重言式类举行了深沉而精致的计划，创造了广义重言式表面，为朦胧论理提出了新的接洽目标．尔后，吴洪博熏陶把广义重言式的观念举行了夸大和实行，提出了广义冲突式的观念，并计划了多值论理体例中的广义冲突式表面．另一上面，分门别类是接洽数学东西的常用本领，经过分门别类不妨对所接洽的东西有进一步的看法．在命题论理中，重言式与冲突式只刻画了命题公式集的两类公式，其余的大普遍公式还有待于于进一步分门别类．2002年捷克鸿儒Rostislav Horclk指出运用各别论理体例中的决定集(Validation set)，不妨对公式集举行各别的分划，但不过中断在决定集的观念上而未打开进一步的接洽．正文则沿此思绪鉴于矫正的论理体例对中公式的决定集作了比拟体例的接洽．正文共分为三章:正文第一章开始对非算子作了窜改，进而得出了一个新的论理体例——矫正的论理体例；其次鉴于决定集和广义重言式表面，给出了鉴于矫正的包括算子的一个18类分划,个中重言式与冲突式辨别是两个极大和极小的类；结果将矫正的论理体例台湾中国广播公司义重言式表面举行实行,计划其序稀疏子代数的广义重言式表面,并运用可达广义重言式观念和冲突式观念在的序稀疏子代数中给出对于同余的一个分划.正文第二章将矫正的Kleene体例中的广义重言式表面举行实行,在代数的各类无穷子代数中的广义重言式的普通上计划了广义冲突式表面,从而在相映的子代数中给出了的一种分划，并证领会在子代数中, 中生存着可数多个各别的广义冲突式，更加地，在某些子代数中，暂时缀小于时，大肆精巧度的广义冲突式都是不妨生存的.正文第三章将矫正的Product论理体例中的广义重言式表面举行实行,开始在矫正的Product论理体例中的广义重言式之间创造了一种晋级算法；其次计划了矫正的Product论理中的广义冲突式表面, 证领会在矫正的Product论理体例台湾中国广播公司义冲突式的类类互异定理；结果与晋级算法对立应，给出了Product论理体例台湾中国广播公司义冲突式之间的一种左迁算法，并对其基础本质举行了计划．