Interpretation of AF -algebras in ukasiewicz sentential calculus

[1]  K. Gödel.  Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .

[2]  Robert McNaughton,et al.  A Theorem About Infinite-Valued Sentential Logic , 1951, J. Symb. Log..

[3]  William Craig,et al.  On axiomatizability within a system , 1953, Journal of Symbolic Logic.

[4]  J. Rosser,et al.  Fragments of many-valued statement calculi , 1958 .

[5]  C. Chang,et al.  Algebraic analysis of many valued logics , 1958 .

[6]  C. Chang,et al.  A new proof of the completeness of the Łukasiewicz axioms , 1959 .

[7]  Elliot Carl Weinberg,et al.  Free lattice-ordered abelian groups. II , 1963 .

[8]  R. Haag,et al.  An Algebraic Approach to Quantum Field Theory , 1964 .

[9]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[10]  S. Maclane,et al.  Categories for the Working Mathematician , 1971 .

[11]  E. Alfsen.  Compact convex sets and boundary integrals , 1971 .

[12]  O. Bratteli.  Inductive limits of finite dimensional C*-algebras , 1972 .

[13]  George A. Elliott,et al.  On the classification of inductive limits of sequences of semisimple finite-dimensional algebras , 1976 .

[14]  J. D. Monk,et al.  Mathematical Logic , 1976 .

[15]  Arithmetische Theorie der MV‐Algebren endlicher Ordnung , 1977 .

[16]  Klaus Keimel,et al.  Groupes et anneaux réticulés , 1977 .

[17]  George A. Elliott,et al.  On totally ordered groups, and K0 , 1979 .

[18]  George Gratzer,et al.  Universal Algebra , 1979 .

[19]  G. Pedersen.  C-Algebras and Their Automorphism Groups , 1979 .

[20]  Edward G. Effros,et al.  Dimension Groups and Their Affine Representations , 1980 .

[21]  Directed Abelian Groups, Countably Continuous Rings, and Rickart C*-Algebras , 1980 .

[22]  Edward G. Effros,et al.  Dimensions and C*-algebras , 1981 .

[23]  Ken R. Goodearl,et al.  Notes on real and complex C[*]-algebras , 1982 .

[24]  Duality between logics and equivalence relations , 1982 .

[25]  Daniele Mundici,et al.  Compactness, interpolation and Friedman's third problem , 1982, Ann. Math. Log..

[26]  D. Handelman.  Extensions for AF * algebras and dimension groups , 1982 .

[27]  D. Mundici.  Abstract model-theory and nets of C*-algebras: Noncommutative interpolation and preservation properties , 1984 .