近期，arXiv:2312.16035的研究表明，所有基于布尔正单调三值方案的逻辑在使用严格-容许标准（$\mathbf{st}$）定义时均等价于经典逻辑。相反，他们证明了在容许-严格标准（$\mathbf{ts}$）下，所得到的逻辑均为空。在此基础上，我们展示了通过在两个分别基于（可能不同的）布尔正单调方案定义的逻辑的并集上施加传递性的严格-严格标准（$\mathbf{ss}$）和容许-容许标准（$\mathbf{tt}$），可以得出经典逻辑，其中一个逻辑为超完备逻辑，另一个为超一致性逻辑。随后，我们确定了一个与传递性对偶的概念，用于刻画逻辑$\mathsf{TS}$为任意两个分别基于（可能不同的）布尔正单调方案定义的逻辑的交集的对偶传递闭包，其中一种逻辑采用$\mathbf{ss}$标准，另一种采用$\mathbf{tt}$标准。最后，我们进一步探讨了传递闭包与对偶传递闭包操作之间的抽象关系，表明它们产生了精确捕捉所讨论逻辑之间关系的格运算。

Recently, arXiv:2312.16035 showed that all logics based on Boolean Normal monotonic three-valued schemes coincide with classical logic when defined using a strict-tolerant standard ($\mathbf{st}$). Conversely, they proved that under a tolerant-strict standard ($\mathbf{ts}$), the resulting logics are all empty. Building on these results, we show that classical logic can be obtained by closing under transitivity the union of two logics defined over (potentially different) Boolean normal monotonic schemes, using a strict-strict standard ($\mathbf{ss}$) for one and a tolerant-tolerant standard ($\mathbf{tt}$) for the other, with the first of these logics being paracomplete and the other being paraconsistent. We then identify a notion dual to transitivity that allows us to characterize the logic $\mathsf{TS}$ as the dual transitive closure of the intersection of any two logics defined over (potentially different) Boolean normal monotonic schemes, using an $\mathbf{ss}$ standard for one and a $\mathbf{tt}$ standard for the other. Finally, we expand on the abstract relations between the transitive closure and dual transitive closure operations, showing that they give rise to lattice operations that precisely capture how the logics discussed relate to one another.