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