Logic of infinite quantum systems
From MaRDI portal
Publication:1325668
DOI10.1007/BF00979516zbMath0799.03019MaRDI QIDQ1325668
Publication date: 26 May 1994
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
Gödel incompletenessinfinite-valued calculus of Łukasiewiczgame with liesnoncommutative logic properties of general AF \(C^*\)-algebrasquotient structures
(K)-theory and operator algebras (including cyclic theory) (46L80) Other algebras related to logic (03G25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Other ``noncommutative mathematics based on (C^*)-algebra theory (46L89) Many-valued logic (03B50)
Related Items (17)
Empirical logics ⋮ Constructibility of the universal wave function ⋮ AF inverse monoids and the structure of countable MV-algebras ⋮ Generalized versions of MV-algebraic central limit theorems ⋮ How Do $$\ell $$-Groups and Po-Groups Appear in Algebraic and Quantum Structures? ⋮ Optimal comparison strategies in Ulam's searching game with two errors ⋮ Measure-free conditioning and extensions of additive measures on finite MV-algebras ⋮ Coordinatizing some concrete MV algebras and a decomposition theorem ⋮ Conditioning a state by a Łukasiewicz event: a probabilistic approach to Ulam games ⋮ Coherence of the Product Law for Independent Continuous Events ⋮ A complete characterization of all weakly additive measures and of all valuations on the canonical extension of any finite MV-chain ⋮ The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview ⋮ Searching games with errors -- fifty years of coping with liars ⋮ Recent developments in inverse semigroup theory ⋮ Resolution and model building in the infinite-valued calculus of Łukasiewicz ⋮ Betting on continuous independent events ⋮ MV-algebras, multiple bets and subjective states
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Satisfiability in many-valued sentential logic is NP-complete
- Free products in the category of Abelian \(\ell\)-groups with strong unit
- Ulam's searching game with lies
- Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras
- Traces on simple AF C*-algebras
- On the classification of inductive limits of sequences of semisimple finite-dimensional algebras
- C*-algebras with approximately inner flip
- Extending addition in Elliott's local semigroup
- Reconstructing \(C^*\)-algebras from their Murray von Neumann orders
- A characterisation of lattice-ordered Abelian groups
- Turing complexity of Behncke-Leptin \(C^*\)-algebras with a two-point dual
- Measures on projections and physical states
- \(C^ *\)-algebras with a two-point dual
- Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory
- Algebraic Analysis of Many Valued Logics
- A New Proof of the Completeness of the Lukasiewicz Axioms
- A Simple C ∗ -Algebra with no Nontrivial Projections
- An Algebraic Approach to Quantum Field Theory
- Inductive Limits of Finite Dimensional C ∗ -Algebras
- PROBABILITY MEASURES ON PROJECTIONS IN VON NEUMANN ALGEBRAS
This page was built for publication: Logic of infinite quantum systems
