implemented 3 themes of k-valued logic