“直覺” 邏輯中,Heyting 代數的推廣,它取代了 布林代數。
Eric W. Weisstein. “邏各斯。” 來自 —— 資源。 https://mathworld.tw/Logos.html