Tag: Multi-valued logic review