Proceedings of the sixth international symposium on Multiple-valued logic