준소프리말 대수를 진리값으로 하는 다양한 진리값 코알게브라 논리를 체계적으로 연구한다. 클래식 코알게브라 논리를 준소프리말 대수 수준으로 체계적으로 확장하여, 완전성과 표현력이 보존됨을 보인다.
