Logic of infinite quantum systems
type: Item
instance of: scholarly article
title: Logic of infinite quantum systems
zbMATH Open document ID: 0799.03019
DOI: 10.1007/BF00979516
author: Daniele Mundici
published in: International Journal of Theoretical Physics
publication date: 1994-05-26T00:00:00Z
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 81P10
Mathematics Subject Classification ID: 46L80
Mathematics Subject Classification ID: 46L89
zbMATH DE Number: 575495
zbMATH Keywords: noncommutative logic properties of general AF \(C^*\)-algebras
zbMATH Keywords: Gödel incompleteness
zbMATH Keywords: quotient structures
zbMATH Keywords: infinite-valued calculus of Łukasiewicz
zbMATH Keywords: game with lies
MaRDI profile type: Publication
cites work: \(C^ *\)-algebras with a two-point dual
cites work: Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory
cites work: A Simple C ∗ -Algebra with no Nontrivial Projections
cites work: Traces on simple AF C*-algebras
cites work: Q3730469
cites work: Inductive Limits of Finite Dimensional C ∗ -Algebras
cites work: Q3854185
cites work: Algebraic Analysis of Many Valued Logics
cites work: A New Proof of the Completeness of the Lukasiewicz Axioms
cites work: Measures on projections and physical states
cites work: Reconstructing \(C^*\)-algebras from their Murray von Neumann orders
cites work: Ulam's searching game with lies
cites work: Q4150220
cites work: C*-algebras with approximately inner flip
cites work: On the classification of inductive limits of sequences of semisimple finite-dimensional algebras
cites work: A characterisation of lattice-ordered Abelian groups
cites work: Q3718669
cites work: Q3958960
cites work: An Algebraic Approach to Quantum Field Theory
cites work: Q3329965
cites work: PROBABILITY MEASURES ON PROJECTIONS IN VON NEUMANN ALGEBRAS
cites work: Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
cites work: Satisfiability in many-valued sentential logic is NP-complete
cites work: Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras
cites work: Free products in the category of Abelian \(\ell\)-groups with strong unit
cites work: Q3792657
cites work: Q4281693
cites work: Turing complexity of Behncke-Leptin \(C^*\)-algebras with a two-point dual
cites work: Q4845316
cites work: Q3142018
cites work: Extending addition in Elliott's local semigroup
cites work: Q4121861
description: scientific article; zbMATH DE number 575495