蕴涵格与Stone表现定理的推广

从Ｒ０－语义出发在全体型公式之集Ｆ（Ｓ）上引入了逻辑等价关系，证明了它是Ｆ（Ｓ）上的同余关系并称商代数为Ｒ０－语义Ｌｉｎｄｅｎｂａｕｍ代数。