Interpretation of AF C∗-algebras in Łukasiewicz sentential calculus
- 1 January 1986
- journal article
- Published by Elsevier in Journal of Functional Analysis
- Vol. 65 (1) , 15-63
- https://doi.org/10.1016/0022-1236(86)90015-7
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Duality between logics and equivalence relationsTransactions of the American Mathematical Society, 1982
- Directed Abelian Groups, Countably Continuous Rings, and Rickart C* -AlgebrasJournal of the London Mathematical Society, 1980
- Arithmetische Theorie der MV‐Algebren endlicher OrdnungMathematische Nachrichten, 1977
- On the classification of inductive limits of sequences of semisimple finite-dimensional algebrasJournal of Algebra, 1976
- Free lattice-ordered Abelian groupsMathematische Annalen, 1963
- Algebraic analysis of many valued logicsTransactions of the American Mathematical Society, 1958
- Fragments of many-valued statement calculiTransactions of the American Mathematical Society, 1958
- On axiomatizability within a systemThe Journal of Symbolic Logic, 1953
- A theorem about infinite-valued sentential logicThe Journal of Symbolic Logic, 1951
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931