半素プリマル代数上の多値コアルゲブラ論理

半素プリマル代数を用いて、古典的コアルゲブラ論理を多値論理に体系的に拡張する方法を示す。この拡張では、一段階完全性と表現力が保存される。