No label defined (Q4440573)

Recall that paraconsistent logic in the broad sense of da Costa was developed to clarify the concepts of negation and contradiction in any rational context. In the process, the notion of inconsistency-tolerance was developed as a logically formal transformation of fault-tolerance. In this note, the author's main concern is to investigate information flow in a Ulam-Rényi game with a single lie. Of course, if a lie is interpreted as an error, then Ulam-Rényi games become an important chapter in the theory of error-detecting and error-correcting codes with feedback. Finally, the cubic logic of Rota and Metropolis determines a three-valued logic closely related to the Ulam-Rényi game of Twenty Questions with a single lie/error. This reviewer believes that analogous developments of the notion of para-independence will also have interesting applications to formal logic as well as physical theory and applied logic. For the entire collection see [Zbl 1021.00009].