scientific article; zbMATH DE number 2019877
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].
- Conditioning a state by a Łukasiewicz event: a probabilistic approach to Ulam games
- Rota-Metropolis cubic logic and Ulam-Rényi games
- scientific article; zbMATH DE number 5547835 (Why is no real title available?)
- Cubic logic, Ulam games, and paraconsistency
- Friedman's question: Detectability of bridging faults in irredundant computational logic networks
- Searching games with errors -- fifty years of coping with liars
- Robustness analysis of logic metrics on \(F(X)\)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4440573)
