Skip Navigation



Journal of Logic and Computation Advance Access published online on March 13, 2009
Journal of Logic and Computation, doi:10.1093/logcom/exp018
This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Riecanová, Z.
Right arrow Articles by Paseka, J.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© The Author, 2009. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

Original Papers

State Smearing Theorems and the Existence of States on Some Atomic Lattice Effect Algebras

Zdenka Riecanová

Department of Mathematics, Faculty of Electrical Engineering and Information Technology, Slovak University of Technology, Ilkovicova 3, SK-812 19 Bratislava, Slovak Republic.
E-mail: zdenka.riecanova{at}stuba.sk

Jan Paseka

Department of Mathematics and Statistics, Faculty of Science, Masaryk University, Kotlárská 2, 611 37 Brno, Czech Republic.
E-mail: paseka{at}math.muni.cz

Received 28 September 2008.

The existence of states and probabilities on effect algebras as logical structures when events may be non-compatible, unsharp, fuzzy or imprecise is still an open question. Only a few families of effect algebras possessing states are known. We are going to show some families of effect algebras, the existence of a pseudocomplementation on which implies the existence of states. Namely, those are Archimedean atomic lattice effect algebras, which are sharply dominating or s-compactly generated or extendable to complete lattice effect algebras.

Keywords: Non-classical logics; D-posets; effect algebras; MV-algebras; interval and order topology; states; pseudocomplementation



References

  1. Adams DH. The completions by cuts of an orthocomplemented modular lattice. Bulletin Australian Mathematical Society (1969) 1:279–280.
  2. Benett MK, J D. Foulis. Interval and scale effect algebras. Advances in Mathematics (1997) 19:200–215.[CrossRef]
  3. Birkhoff G. Lattice Theory (1967) American Mathematical Society.
  4. Chang CC. Algebraic analysis of many-valued logics. Transactions of the American Mathematical Society (1958) 88:467–490.[CrossRef]
  5. Chovanec F, Kôpka F. Boolean D-posets. Tatra Mountains Mathematical Publication (1997) 10:183–197.
  6. Cignoli RLO, D’Ottaviano ML, Mundici D. Algebraic Foundations of Manyvalued Reasoning (2000) Kluwer Acad. Publ.
  7. Császár A. General Topology (1978) Akadémiai Kiadó.
  8. Dvurecenskij A, Pulmannová S. New Trends in Quantum Structures (2000) Kluwer Acad. Publ./Ister Science.
  9. Erné M, Weck S. Order convergence in lattices. Rocky Mountain Journal of Mathematics (1980) 10:805–818.
  10. Foulis DJ, Bennett MK. Effect algebras and unsharp quantum logics. Foundation of Physics (1994) 24:1325–1346.
  11. Frink O. Topology in lattices. Transactions of the American Mathematical Society (1942) 51:569–582.[CrossRef][Web of Science]
  12. Grätzer G. General Lattice Theory (1998) 2nd ed. Birkhäuser Verlag.
  13. Greechie RJ. Orthomodular lattices admitting no states. Journal of Combinatorial Theory A (1971) 10:119–132.[CrossRef]
  14. Greechie RJ, Foulis D, Pulmannová S. The center of an effect algebra. Order (1995) 12:91–106.[CrossRef]
  15. Gudder SP. Sharply dominating effect algebras. Tatra Mountains Mathematical Publication (1998) 15:23–30.
  16. Gudder SP. S-dominating effect algebras. International Journal of Theoretical Physics (1998) 37:915–923.[CrossRef][Web of Science]
  17. Halas R. Pseudocomplemented ordered sets. Archivum Mathematicum (Brno) (1993) 29:153–160.
  18. Jenca G, Marinová I, Riecanová Z. Central elements, blocks and sharp elements of lattice effect algebras. In: Proceeedings of the third seminar Fuzzy sets and Quantum structures, May 2002 (2003) Pub. STU Bratislava. 28–33.
  19. Jenca G, Riecanová Z. On sharp elements in lattice effect algebras. Bulletin for Studies and Exchanges on Fuzziness and its Applications (1999) 80:24–29.
  20. Kalmbach G. Orthomodular Lattices (1983) Academic Press.
  21. Kôpka F. D-posets of fuzzy sets. Tatra Mountains Mathematical Publication (1992) 1:83–87.
  22. Kôpka F, Chovanec F. D-posets. Mathematica Slovaca (1994) 44:21–34.
  23. Mosná K. Atomic lattice effect algebras and their sub-lattice effect algebras. Journal of Electrical Engineering (2007) 58:3–6.
  24. Olejcek V. An atomic MV-effect algebra with non-atomic center. Kybernetika (2007) 43:343–346.[Web of Science]
  25. Riecanová Z. Measures and topologies on atomic quantum logics. (1992) Akademie. 154–160. In Proceedings of Conference Topology and Measure VI. Vol. 66 of Mathematical Research.
  26. Riecanová Z. Lattices and quantum logics with separated intervals, atomicity. International Journal of Theoretical Physics (1998) 37:191–197.[CrossRef][Web of Science]
  27. Riecanová Z. MacNeille completions of D-posets and effect algebras. International Journal of Theoretical Physics (2000) 39:859–869.[CrossRef][Web of Science]
  28. Riecanová Z. Archimedean and block-finite lattice effect algebras. Demonstratio Mathematica (2000) 33:443–452.
  29. Riecanová Z. Generalization of blocks for D-lattices and lattice-ordered effect algebras. International Journal of Theoretical Physics (2000) 39:231–237.[CrossRef][Web of Science]
  30. Riecanová Z. Sharp elements in effect algebras. International Journal of Theoretical Physics (2001) 41:913–920.
  31. Riecanová Z. Lattice effect algebras with (o)-continuous faithful valuations. Fuzzy Sets and Systems (2001) 124:321–327.[CrossRef][Web of Science]
  32. Riecanová Z. Smearings of states defined on sharp elements onto effect algebras. International Journal of Theoretical Physics (2002) 41:1511–1524.[CrossRef][Web of Science]
  33. Riecanová Z. States, uniformities and metrics on lattice effect algebras. International Journal of Uncertainity, Fuzziness and Knowledge-Based Systems (2002) 10:125–133.[CrossRef]
  34. Riecanová Z. Distributive atomic effect algebras. Demonstratio Mathematica (2003) 36:247–259.
  35. Riecanová Z. Continuous lattice effect algebras admitting order-continuous states. Fuzzy Sests and Systems (2003) 136:41–54.[CrossRef]
  36. Riecanová Z. Order-topological lattice effect algebras. Contributions to General Algebra 15. In: Proceedings of the Klagenfurt Workshop 2003 on General Algebra (2003) Verlag Johannes Heyn: Klagenfurt. 151–160.
  37. Riecanová Z. Modular atomic effect algebras and the existence of subadditive states. Kybernetika (2004) 40:459–468.[Web of Science]
  38. Riecanová Z. Archimedean atomic lattice effect algebras in which all sharp elements are central. Kybernetika (2006) 42:143–150.[Web of Science]
  39. Riecanová Z. Pseudocomplemented lattice effect algebras and existence of states. Information Sciences (2009) 179:529–534.
  40. Riecanová Z, Junde Wu. States on sharply dominating effect algebras. Science in China Series A:Mathematics (2008) 51:907–914.[CrossRef]
  41. Schmidt J. Zur Kennzeichnung der Dedekind-Mac Neilleschen Hülle einer Geordneten Menge. Archiv der Mathematik (1956) 7:241–249.[CrossRef]

Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?



This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Riecanová, Z.
Right arrow Articles by Paseka, J.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?