Interpretation of AF $C^*$-algebras in Łukasiewicz sentential calculus

DOI10.1016/0022-1236(86)90015-7zbMath0597.46059OpenAlexW1985104705WikidataQ106870091 ScholiaQ106870091MaRDI QIDQ1079157

Publication date: 1986

Published in: Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-1236(86)90015-7

zbMATH Keywords

CAR algebra Łukasiewicz logic dimension groups AF $C^*$-algebras Gödel complete K-groups with an order recursion-theoretic properties of $K_ 0(A)$

Mathematics Subject Classification ID

Methods of algebraic topology in functional analysis (cohomology, sheaf and bundle theory, etc.) (46M20) General theory of (C^*)-algebras (46L05) Many-valued logic (03B50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Related Items (only showing first 100 items - show all)

Stone Duality Type Theorems for MV-Algebras with Internal State ⋮ Geometry of Robinson consistency in Łukasiewicz logic ⋮ Lexicographic effect algebras ⋮ RATIONAL POLYHEDRA AND PROJECTIVE LATTICE-ORDERED ABELIAN GROUPS WITH ORDER UNIT ⋮ Cyclic elements and subalgebras of GMV-algebras ⋮ Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices ⋮ Commutative rings whose ideals form an MV-algebra ⋮ Perfect MV-algebras and their logic ⋮ Locally $\sigma $-complete and locally complete EMV-algebras ⋮ Group representation for even and odd involutive commutative residuated chains ⋮ Hahn-Banach theorems for MV-algebras ⋮ MV-algebras and partially cyclically ordered groups ⋮ Hulls of ordered algebras: projectability, strong projectability and lateral completeness ⋮ On the geometric theory of local MV-algebras ⋮ On pseudo-BL-algebras and pseudo-hoops with normal maximal filters ⋮ Compatibility of observables on effect algebras ⋮ When the lexicographic product of two po-groups has the Riesz decomposition property ⋮ The structure group of a non-degenerate effect algebra ⋮ How Do $$\ell $$-Groups and Po-Groups Appear in Algebraic and Quantum Structures? ⋮ From partially ordered monoids to partially ordered groups via free nuclear preimages ⋮ Unnamed Item ⋮ Unnamed Item ⋮ $L$-effect algebras ⋮ Two-dimensional observables and spectral resolutions ⋮ Quasi product on Boolean D-posets ⋮ Spectral resolutions and quantum observables ⋮ Orthocomplete pseudoMV-algebras ⋮ On EMV-algebras with square roots ⋮ Linear $L$-algebras and prime factorization ⋮ Classifying orbits of the affine group over the integers ⋮ On some extensions of the class of MV-algebras ⋮ Monadic MV-algebras. I: A study of subvarieties ⋮ Projective objects in the categories of abelian $\ell$-groups and MV-algebras. ⋮ The center of a generalized effect algebra. ⋮ Kites and pseudo BL-algebras. ⋮ Monadic MV-algebras. II: Monadic implicational subreducts ⋮ States on wEMV-algebras ⋮ Hyperstates of Involutive MTL-Algebras that Satisfy $$(2x)^2=2(x^2)$$ ⋮ Unnamed Item ⋮ MV-modules of fractions ⋮ Basic hoops: an algebraic study of continuous t-norms ⋮ Coherence of the Product Law for Independent Continuous Events ⋮ On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events ⋮ ON THE LOOMIS–SIKORSKI THEOREM FOR MV-ALGEBRAS WITH INTERNAL STATE ⋮ States on semi-divisible residuated lattices ⋮ Effect algebras with compressions ⋮ On decomposition of pseudo BL-algebras ⋮ Automorphism groups of totally ordered sets: A retrospective survey ⋮ W. Charles Holland, 75th birthday ⋮ Abelian lattice-ordered groups and a characterization of the maximal spectrum of a Prüfer domain. ⋮ Convergence with a fixed regulator in lattice ordered groups and applications to MV-algebras ⋮ Observables, states, and symmetries in the context of CB-effect algebras ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Severi-Bouligand tangents, Frenet frames and Riesz spaces ⋮ Representation and extension of states on MV-algebras ⋮ Loomis-Sikorski representation of monotone $\sigma$-complete effect algebras ⋮ Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics ⋮ Sharp and meager elements in orthocomplete homogeneous effect algebras ⋮ Probabilistic averaging in bounded commutative residuated $\ell$-monoids ⋮ Interpolation and Beth's property in propositional many-valued logics: a semantic investigation ⋮ $\bigstar$-autonomous lattices and fuzzy sets ⋮ Categorical equivalence between $\mathrm{PMV}_f $-product algebras and semi-low $f_u $-rings ⋮ On generalized versions of central limit theorems for IF-events ⋮ Kolmogorov-Sinaj entropy on MV-algebras ⋮ Perfect effect algebras and spectral resolutions of observables ⋮ State-Homomorphisms on MV-Algebras ⋮ Right $l$-groups, geometric Garside groups, and solutions of the quantum Yang-Baxter equation ⋮ Representations of MV-algebras by sheaves ⋮ Forcing operators on MTL-algebras ⋮ Quantum computational algebra with a non-commutative generalization ⋮ Coexistence in interval effect algebras ⋮ Intervals of effect algebras and pseudo-effect algebras ⋮ Strong Poincaré recurrence theorem in MV-algebras ⋮ Representations of pseudo Vitali spaces and Loomis–Sikorski theorem ⋮ Ultramatricial algebras over commutative chain semirings and application to MV-algebras ⋮ An algebraic treatment of imprecise probabilities ⋮ Betting on continuous independent events ⋮ On an explicit representation of the Łukasiewicz sum as a quantum operation ⋮ $R$-norm entropy and $R$-norm divergence in product MV-algebras ⋮ States on EMV-algebras ⋮ Semiring and Semimodule Issues in MV-Algebras ⋮ On injectivity of semimodules over additively idempotent division semirings and chain MV-semirings ⋮ Conditional probability on $\sigma$-MV-algebras ⋮ On fuzzy hidden variables ⋮ Observables on perfect MV-algebras ⋮ The annihilator of fuzzy subgroups ⋮ Splittings in GBL-algebras. II: The representable case ⋮ On EMV-algebras ⋮ Spectral resolutions in Dedekind $\sigma$-complete $\ell$-groups ⋮ THE LOOMIS–SIKORSKI THEOREM FOR -ALGEBRAS ⋮ Good and bad infinitesimals, and states on pseudo MV-algebras ⋮ Partial algebras for Łukasiewicz logics and its extensions ⋮ Boolean dominated MV-algebras ⋮ Lexicographic MV-algebras and lexicographic states. ⋮ Stone duality for real-valued multisets ⋮ Variation on a Poincaré theorem ⋮ Unitizing a generalized pseudo effect algebra. ⋮ From interior algebras to unital $\ell$-groups: a unifying treatment of modal residuated lattices ⋮ A categorical equivalence for product algebras ⋮ Some classes of pseudo-BL algebras

Cites Work

This page was built for publication: Interpretation of AF $C^*$-algebras in Łukasiewicz sentential calculus

Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus