Publication:3142018
From MaRDI portal
zbMath0780.03030MaRDI QIDQ3142018
Publication date: 2 February 1994
MV-algebras; lattice-ordered groups; Post algebras; noncommutative logic; continuous trace \(C^*\)-algebras; error-correcting coding with feedback; commutative AF \(C^*\)- algebras; generalized Ulam games; lattice-ordered Specker groups
46L80: (K)-theory and operator algebras (including cyclic theory)
03G25: Other algebras related to logic
46L89: Other ``noncommutative mathematics based on (C^*)-algebra theory
03B50: Many-valued logic
94B99: Theory of error-correcting codes and error-detecting codes
06F15: Ordered groups
Related Items
On Semantic Gamification, The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview, Searching games with errors -- fifty years of coping with liars, Least adaptive optimal search with unreliable tests, Reasoning about mathematical fuzzy logic and its future, The Rényi-Ulam games and many-valued logics, An \(n\)-player semantic game for an \(n+1\)-valued logic, Dialogue games for many-valued logics -- an overview, Giles's game and the proof theory of Łukasiewicz logic, Logic of infinite quantum systems, Fuzzy approach for Toffoli gate in quantum computation with mixed states, A relationship between the category of chain MV-algebras and a subcategory of abelian groups, Triangular norm based predicate fuzzy logics, On an explicit representation of the Łukasiewicz sum as a quantum operation, Perfect minimally adaptive \(q\)-ary search with unreliable tests