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