この小論では, クリーネ代数における量子化定理の簡単な証明を与える.さらに, この定理が普遍代数に対しても成り立つこと, またこの定理は普遍代数における準同型定理の特別な場合であることを示す.
東邦大学理学部情報科学科
島根大学理学部情報科学科