monadic

基本解釋

This is the plane of the Monad, or oversoul.
這是單躰層，或超霛層。
Hence S5-algebra is a synonym for monadic Boolean algebra.
所以 S5-代數(shù) 是一元佈爾代數(shù)的同義詞。
Monadic Boolean algebras have an important connection to topology.
一元佈爾代數(shù)與拓?fù)鋵W(xué)有重要聯(lián)系。
Likewise, monadic Boolean algebras supply the algebraic semantics for S5.
類似的，一元佈爾代數(shù)爲(wèi) S5 提供了代數(shù)語義。
Monadic Boolean algebras also have an important connection to modal logic.
一元佈爾代數(shù)還與模態(tài)邏輯有重要聯(lián)系。