简介：本文刻划交换半群的强半格上的最小半格同余，并证明由此得到的商半群为对应的每个交换半群的商半群的强半格。
简介：在蕴涵格中引和了蕴涵滤子的概念，讨论了蕴涵滤子的一些基本性质，并由此建立了由素蕴涵滤子决定的同余关系及其商蕴涵格，以便为Fuzz推理建立了严格的逻辑基础作些必要的准备。
简介：主要讨论了在一定条件下半环的强分配格S上的环同余ρ与半环族（Sα）α∈D上的环同余族（ρα）α∈D之间的关系．
交换半群的强半格
蕴涵格的滤子及同余关系
半环的强分配格上的环同余
