Orthocomplemented difference lattices with few generators

Milan Matoušek; Pavel Pták

Kybernetika (2011)

  • Volume: 47, Issue: 1, page 60-73
  • ISSN: 0023-5954

Abstract

top
The algebraic theory of quantum logics overlaps in places with certain areas of cybernetics, notably with the field of artificial intelligence (see, e. g., [19, 20]). Recently an effort has been exercised to advance with logics that possess a symmetric difference ([13, 14]) - with so called orthocomplemented difference lattices (ODLs). This paper further contributes to this effort. In [13] the author constructs an ODL that is not set-representable. This example is quite elaborate. A main result of this paper somewhat economizes on this construction: There is an ODL with 3 generators that is not set-representable (and so the free ODL with 3 generators cannot be set-representable). The result is based on a specific technique of embedding orthomodular lattices into ODLs. The ODLs with 2 generators are always set-representable as we show by characterizing the free ODL with 2 generators - this ODL is MO 3 × 2 4 .

How to cite

top

Matoušek, Milan, and Pták, Pavel. "Orthocomplemented difference lattices with few generators." Kybernetika 47.1 (2011): 60-73. <http://eudml.org/doc/196848>.

@article{Matoušek2011,
abstract = {The algebraic theory of quantum logics overlaps in places with certain areas of cybernetics, notably with the field of artificial intelligence (see, e. g., [19, 20]). Recently an effort has been exercised to advance with logics that possess a symmetric difference ([13, 14]) - with so called orthocomplemented difference lattices (ODLs). This paper further contributes to this effort. In [13] the author constructs an ODL that is not set-representable. This example is quite elaborate. A main result of this paper somewhat economizes on this construction: There is an ODL with 3 generators that is not set-representable (and so the free ODL with 3 generators cannot be set-representable). The result is based on a specific technique of embedding orthomodular lattices into ODLs. The ODLs with 2 generators are always set-representable as we show by characterizing the free ODL with 2 generators - this ODL is $\{\rm MO\}_3 \times 2^4$.},
author = {Matoušek, Milan, Pták, Pavel},
journal = {Kybernetika},
keywords = {orthomodular lattice; quantum logic; symmetric difference; Gödel's coding; Boolean algebra; free algebra; orthomodular lattice; quantum logic; symmetric difference; Boolean algebra; free algebra; orthocomplemented difference lattice},
language = {eng},
number = {1},
pages = {60-73},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Orthocomplemented difference lattices with few generators},
url = {http://eudml.org/doc/196848},
volume = {47},
year = {2011},
}

TY - JOUR
AU - Matoušek, Milan
AU - Pták, Pavel
TI - Orthocomplemented difference lattices with few generators
JO - Kybernetika
PY - 2011
PB - Institute of Information Theory and Automation AS CR
VL - 47
IS - 1
SP - 60
EP - 73
AB - The algebraic theory of quantum logics overlaps in places with certain areas of cybernetics, notably with the field of artificial intelligence (see, e. g., [19, 20]). Recently an effort has been exercised to advance with logics that possess a symmetric difference ([13, 14]) - with so called orthocomplemented difference lattices (ODLs). This paper further contributes to this effort. In [13] the author constructs an ODL that is not set-representable. This example is quite elaborate. A main result of this paper somewhat economizes on this construction: There is an ODL with 3 generators that is not set-representable (and so the free ODL with 3 generators cannot be set-representable). The result is based on a specific technique of embedding orthomodular lattices into ODLs. The ODLs with 2 generators are always set-representable as we show by characterizing the free ODL with 2 generators - this ODL is ${\rm MO}_3 \times 2^4$.
LA - eng
KW - orthomodular lattice; quantum logic; symmetric difference; Gödel's coding; Boolean algebra; free algebra; orthomodular lattice; quantum logic; symmetric difference; Boolean algebra; free algebra; orthocomplemented difference lattice
UR - http://eudml.org/doc/196848
ER -

References

top
  1. Beran, L., Orthomodular Lattices, Algebraic Approach, D. Reidel, Dordrecht, 1985. (1985) Zbl0558.06008MR0784029
  2. Bruns, G., Harding, J., Algebraic aspects of orthomodular lattices, In: Current Research in Operational Quantum Logic (B. Coecke, D. Moore and A. Wilce, eds.), Kluwer Academic Publishers 2000, pp. 37–65. (2000) Zbl0955.06003MR1907155
  3. Burris, S., Sankappanavar, H. P., A Course in Universal Algebra, Springer-Verlag, New York 1981. (1981) Zbl0478.08001MR0648287
  4. Chiara, M. L. Dalla, Giuntini, R., Greechie, R., Reasoning in Quantum Theory: Sharp and Unsharp Quantum Logics, Kluwer Academic Publishers, Dordrecht, Boston, London 2004. (2004) MR2069854
  5. Dorfer, G., Dvurečenskij, A., Länger, H. M., Symmetric difference in orthomodular lattices, Math. Slovaca 46 (1996), 435–444. (1996) MR1451034
  6. Dorfer, G., 10.1007/s10773-005-7066-7, Internat. J. Theoret. Phys. 44 (2005), 885–896. (2005) MR2199505DOI10.1007/s10773-005-7066-7
  7. Dvurečenskij, A., Pulmannová, S., New Trends in Quantum Structures, Kluwer Acad. Publ., Dordrecht, and Ister Science, Bratislava 2000. (2000) MR1861369
  8. Godowski, R., Greechie, R. J., Some equations related to states on orthomodular lattices, Demonstratio Math. XVII (1984), 1, 241–250. (1984) Zbl0553.06013MR0760356
  9. Greechie, R. J., 10.1016/0097-3165(71)90015-X, J. Combinat. Theory 10 (1971), 119–132. (1971) Zbl0219.06007MR0274355DOI10.1016/0097-3165(71)90015-X
  10. Engesser, K., Gabbay, D.M., ed., D. Lehmann, Handbook of Quantum Logic and Quantum Structures, Elsevier 2007. (2007) MR2408886
  11. Havlík, F., Ortokomplementární diferenční svazy (in Czech), (Mgr. Thesis, Department of Logic, Faculty of Arts, Charles University in Prague 2007). (2007) 
  12. Kalmbach, G., Orthomodular Lattices, Academic Press, London 1983. (1983) Zbl0528.06012MR0716496
  13. Matoušek, M., 10.1007/s00012-009-2105-5, Algebra Universalis 60 (2009), 185–215. (2009) Zbl1186.06004MR2491422DOI10.1007/s00012-009-2105-5
  14. Matoušek, M., Pták, P., 10.1007/s11083-008-9102-8, Order 26 (2009), 1–21. (2009) Zbl1201.06006MR2487165DOI10.1007/s11083-008-9102-8
  15. Matoušek, M., Pták, P., 10.2478/s12175-010-0033-7, Math. Slovaca 60 (2010), 5, 583–590. (2010) Zbl1249.06025MR2728524DOI10.2478/s12175-010-0033-7
  16. Matoušek, M., Pták, P., Symmetric difference on orthomodular lattices and Z 2 -valued states, Comment. Math. Univ. Carolin. 50 (2009), 4, 535–547. (2009) Zbl1212.06021MR2583131
  17. Navara, M., Pták, P., 10.1016/0022-4049(89)90108-4, J. Pure Appl. Algebra 60 (1989), 105–111. (1989) MR1014608DOI10.1016/0022-4049(89)90108-4
  18. Park, E., Kim, M. M., Chung, J. Y., 10.4134/CKMS.2003.18.2.207, Commun. Korean Math. Soc. 18 (2003), 2, 207–214. (2003) Zbl1101.06301MR1986740DOI10.4134/CKMS.2003.18.2.207
  19. Pták, P., Pulmannová, S., Orthomodular Structures as Quantum Logics, Kluwer Academic Publishers, Dordrecht, Boston, London 1991. (1991) MR1176314
  20. Watanabe, S., 10.1016/S0019-9958(69)90581-6, Inform. and Control 2 (1969), 1–21. (1969) MR0267964DOI10.1016/S0019-9958(69)90581-6

NotesEmbed ?

top

You must be logged in to post comments.