 The logic MC can be faithfully embedded into positive classical logic, whence MC is decidable. The following truth tables for MC, while considering a language with a classical negation, resulting in a system called “dialetheic Belnap Dunn Logic,” dBD, are given in Omori 2016c: