[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ Skip to main content
Log in

Coordinatizing some concrete MV algebras and a decomposition theorem

  • RESEARCH ARTICLE
  • Published:
Semigroup Forum Aims and scope Submit manuscript

Abstract

MV algebras are the Lindenbaum–Tarski algebras of Łukasiewicz many-valued logics. From work of D. Mundici, countable such algebras correspond to certain AF C*-algebras. M. Lawson and P. Scott gave a coordinatization theorem for them, representing any countable MV-algebra as the lattice of principal ideals of an AF Boolean inverse monoid. In this note, we give two concrete examples of such a coordinatization, one for \({\mathbb {Q}}\cap [0,1]\) and another for the so-called Chang algebra. We also discuss Bratteli diagram techniques to further the coordinatization program.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (United Kingdom)

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Cignoli, R., D’Ottaviano, I., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning, Trends in Logic, vol. 7, 1st edn. Springer, Dordrecht (2000)

    Book  MATH  Google Scholar 

  2. Chang, C.C.: Algebraic analysis of many valued logics. Trans. Am. Math. Soc. 88(2), 467–490 (1958)

    Article  MathSciNet  MATH  Google Scholar 

  3. Davidson, K.R.: C*-Algebras by Example, Fields Institute Monographs. American Mathematical Society, Providence (1996)

    Google Scholar 

  4. Goodearl, K.R.: Notes on Real and Complex \(C^{\ast }\)-Algebras. Shiva Publishing Limited, Nantwich, England (1982)

    MATH  Google Scholar 

  5. Jacobs, B.: New directions in categorical logic for classical, probabilistic and quantum logic. Logical Methods Comput. Sci. 11(3), 1–76 (2015)

    MathSciNet  MATH  Google Scholar 

  6. Lawson, M.: Inverse Semigroups: The Theory of Partial Symmetries, 2nd edn. World Scientific, Singapore (1998)

    Book  MATH  Google Scholar 

  7. Lawson, M., Scott, P.: AF inverse monoids and the structure of countable MV algebras. J. Pure Appl. Algebra 221(1), 45–74 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  8. Lu, W.: Topics in Many-Valued and Quantum Algebraic Logic (Master’s Thesis) (2016). https://ruor.uottawa.ca/handle/10393/35173

  9. Mundici, D.: Interpretation of AF C\(^\ast \)-algebras in Łukasiewicz sentential calculus. J. Funct. Anal. 65, 15–63 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  10. Mundici, D.: Logic of infinite quantum systems. Int. J. Theor. Phys. 32(10), 1941–1955 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  11. Mundici, D.: Advanced Łukasiewicz Calculus and MV-Algebras, Trends in Logic, vol. 35, 1st edn. Springer, Dordrecht (2013)

    Google Scholar 

  12. Pulmannová, S., Dvurec̆enskij, A.: New Trends in Quantum Structures. Mathematics and Its Applications, 1st edn. Springer, Dordrecht (2000)

    Google Scholar 

  13. von Neumann, J.: Continuous Geometry. Princeton Landmarks in Mathematics, 1st edn. Princeton University Press, NJ (1998)

    Book  Google Scholar 

  14. Wehrung, F.: Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups, Lecture Notes in Mathematics, vol. 2188, Springer, Dordrecht (2017)

Download references

Acknowledgements

The authors would like to thank Mark Lawson and the anonymous referee for many insightful comments that have greatly contributed to this work.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to P. J. Scott.

Additional information

Communicated by Benjamin Steinberg.

W. Lu: Research supported by an NSERC CGS-M scholarship. P. J. Scott: Research supported by an NSERC Discovery grant.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Lu, W., Scott, P.J. Coordinatizing some concrete MV algebras and a decomposition theorem. Semigroup Forum 98, 213–233 (2019). https://doi.org/10.1007/s00233-018-9920-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00233-018-9920-y

Keywords

Navigation