Abstract
We prove that for every lattice effect algebra, the system of all congruences generated by the prime ideals of the compatibility center separates the elements. This is a common generalization of Chang’s representation theorem from 1959 and a result of Graves and Selesnick (Colloq Math 27:21–30, 1973).
Similar content being viewed by others
Explore related subjects
Find the latest articles, discoveries, and news in related topics.References
Bennett M, Foulis D (1995) Phi-symmetric effect algebras. Found Phys 25:1699–9722
Chang C (1959) Algebraic analysis of many-valued logics. Trans Am Math Soc 88:467–490
Chang C (1959) A new proof of the completeness of the łukasiewicz axioms. Trans Am Math Soc 93:74–80
Chevalier G, SPulmannová (2000) Some ideal lattices in partial abelian monoids. Order 17:75–92
Chovanec F, Kôpka F (1997) Boolean D-posets. Tatra Mt Math Publ 10:183–197
Dvurečenskij A, Pulmannová S (2000) New trends in quantum structures. Kluwer/Ister Science, Dordrecht/ Bratislava
Foulis D, Bennett M (1994) Effect algebras and unsharp quantum logics. Found Phys 24:1325–1346
Giuntini R, Greuling H (1989) Toward a formal language for unsharp properties. Found Phys 19: 931–945
Graves W, Selesnick S (1973) A generalization of Stone’s representation theorem for Boolean algebras. Colloq Math 27:21–30
Gudder S, Pulmannová S (1998) Quotients of partial abelian monoids. Algebra Univers 38:395–421
Jenča G (2000) Notes on R 1-ideals in partial abelian monoids. Algebra Univers 43:307–319
Jenča G, Pulmannová S (2001) Ideals and quotients in lattice ordered effect algebras. Soft Comput 5:376–380
Kôpka F (1992) D-posets of fuzzy sets. Tatra Mt Math Publ 1:83–87
Kôpka F, Chovanec F (1994) D-posets. Math Slovaca 44:21–34
Riečanová Z (2000) A generalization of blocks for D-lattices and lattice effect algebras. Int J Theor Phys 39:231–237
Acknowledgments
This research is supported by grants VEGA G-2/0059/12,G-1/0297/11 of MŠ SR, Slovakia, and by the Slovak Research and Development Agency under the contracts APVV-0073-10, APVV-0178-11.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Jenča, G. Congruences generated by ideals of the compatibility center of lattice effect algebras. Soft Comput 17, 45–47 (2013). https://doi.org/10.1007/s00500-012-0901-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-012-0901-x