Heyting代数

一种代数，是logos的特例。

另请参阅

Logos, Topos

请引用为

Weisstein, Eric W. “Heyting代数。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/HeytingAlgebra.html