“直觉” 逻辑中，Heyting 代数的推广，它取代了 布尔代数。
逻各斯
参见
拓扑斯引用为
Eric W. Weisstein. “逻各斯。” 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/Logos.html
主题
主题
主题
“直觉” 逻辑中，Heyting 代数的推广，它取代了 布尔代数。
Eric W. Weisstein. “逻各斯。” 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/Logos.html