A Comparison of Implications in Orthomodular Quantum Logic—Morphological Analysis of Quantum Logic
Morphological operators are generalized to lattices as adjunction pairs (Serra, 1984; Ronse, 1990; Heijmans and Ronse, 1990; Heijmans, 1994). In particular, morphology for set lattices is applied to analyze logics through Kripke semantics (Bloch, 2002; Fujio and Bloch, 2004; Fujio, 2006). For exampl...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2012-01-01
|
| Series: | International Journal of Mathematics and Mathematical Sciences |
| Online Access: | http://dx.doi.org/10.1155/2012/259541 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832555900665069568 |
|---|---|
| author | Mitsuhiko Fujio |
| author_facet | Mitsuhiko Fujio |
| author_sort | Mitsuhiko Fujio |
| collection | DOAJ |
| description | Morphological operators are generalized to lattices as adjunction pairs (Serra, 1984; Ronse, 1990; Heijmans and Ronse, 1990; Heijmans, 1994). In particular, morphology for set lattices is applied to analyze logics through Kripke semantics (Bloch, 2002; Fujio and Bloch, 2004; Fujio, 2006). For example, a pair of morphological operators as an adjunction gives rise to a temporalization of normal modal logic (Fujio and Bloch, 2004; Fujio, 2006). Also, constructions of models for intuitionistic logic or linear logics can be described in terms of morphological interior and/or closure operators (Fujio and Bloch, 2004). This shows that morphological analysis can be applied to various non-classical logics. On the other hand, quantum logics are algebraically formalized as orhomodular or modular ortho-complemented lattices (Birkhoff and von Neumann, 1936; Maeda, 1980; Chiara and Giuntini, 2002), and shown to allow Kripke semantics (Chiara and Giuntini, 2002). This suggests the possibility of morphological analysis for quantum logics. In this article, to show an efficiency of morphological analysis for quantum logic, we consider the implication problem in quantum logics (Chiara and Giuntini, 2002). We will give a comparison of the 5 polynomial implication connectives available in quantum logics. |
| format | Article |
| id | doaj-art-0706bda8b64d451cb9376474fa840241 |
| institution | Kabale University |
| issn | 0161-1712 1687-0425 |
| language | English |
| publishDate | 2012-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | International Journal of Mathematics and Mathematical Sciences |
| spelling | doaj-art-0706bda8b64d451cb9376474fa8402412025-02-03T05:46:54ZengWileyInternational Journal of Mathematics and Mathematical Sciences0161-17121687-04252012-01-01201210.1155/2012/259541259541A Comparison of Implications in Orthomodular Quantum Logic—Morphological Analysis of Quantum LogicMitsuhiko Fujio0Department of Systems Design and Informatics, Faculty of Computer Science and Systems Engineering, Kyushu Institute of Technology, Iizuka-shi 820-8502, JapanMorphological operators are generalized to lattices as adjunction pairs (Serra, 1984; Ronse, 1990; Heijmans and Ronse, 1990; Heijmans, 1994). In particular, morphology for set lattices is applied to analyze logics through Kripke semantics (Bloch, 2002; Fujio and Bloch, 2004; Fujio, 2006). For example, a pair of morphological operators as an adjunction gives rise to a temporalization of normal modal logic (Fujio and Bloch, 2004; Fujio, 2006). Also, constructions of models for intuitionistic logic or linear logics can be described in terms of morphological interior and/or closure operators (Fujio and Bloch, 2004). This shows that morphological analysis can be applied to various non-classical logics. On the other hand, quantum logics are algebraically formalized as orhomodular or modular ortho-complemented lattices (Birkhoff and von Neumann, 1936; Maeda, 1980; Chiara and Giuntini, 2002), and shown to allow Kripke semantics (Chiara and Giuntini, 2002). This suggests the possibility of morphological analysis for quantum logics. In this article, to show an efficiency of morphological analysis for quantum logic, we consider the implication problem in quantum logics (Chiara and Giuntini, 2002). We will give a comparison of the 5 polynomial implication connectives available in quantum logics.http://dx.doi.org/10.1155/2012/259541 |
| spellingShingle | Mitsuhiko Fujio A Comparison of Implications in Orthomodular Quantum Logic—Morphological Analysis of Quantum Logic International Journal of Mathematics and Mathematical Sciences |
| title | A Comparison of Implications in Orthomodular Quantum Logic—Morphological Analysis of Quantum Logic |
| title_full | A Comparison of Implications in Orthomodular Quantum Logic—Morphological Analysis of Quantum Logic |
| title_fullStr | A Comparison of Implications in Orthomodular Quantum Logic—Morphological Analysis of Quantum Logic |
| title_full_unstemmed | A Comparison of Implications in Orthomodular Quantum Logic—Morphological Analysis of Quantum Logic |
| title_short | A Comparison of Implications in Orthomodular Quantum Logic—Morphological Analysis of Quantum Logic |
| title_sort | comparison of implications in orthomodular quantum logic morphological analysis of quantum logic |
| url | http://dx.doi.org/10.1155/2012/259541 |
| work_keys_str_mv | AT mitsuhikofujio acomparisonofimplicationsinorthomodularquantumlogicmorphologicalanalysisofquantumlogic AT mitsuhikofujio comparisonofimplicationsinorthomodularquantumlogicmorphologicalanalysisofquantumlogic |