On orthomodular posets

P. D. Finch

doi:10.1017/S1446788700005978

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Let S be a poset with a greatest element 1. We denote order in S by ‘≦’ and, whenever they exist in S, l.u.b and g.l.b by ‘∨’ and ‘∧’ respectively. An orthocomplementation of S is a bijection w: S → S such that x ∨ xω exists for each x in S and (i) xωω = x, (ii) x ≦ y implies yω ≦ xω and (iii) x ∨xω = 1. If a poset S admits an orthocomplementation ω we call the pair (S, ω) an orthoposet.

References

[1]Birkhoff, G., Lattice theory (American Math. Soc. Colloqu. Publ., 3rd ed. 1967).Google Scholar

[2]Mackey, G., Mathematical foundations of quantum mechanics (Benjamin Inc., 1963).Google Scholar

[3]Maclaren, M. Donald, ‘Atomic orthocomplemented lattices’, Pacific J. Math. 14 (1964), 597–612CrossRef Google Scholar

Crossref Citations

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

1972. Residuation Theory. p. 361.

Finch, P. D. 1976. Foundations of Probability Theory, Statistical Inference, and Statistical Theories of Science. p. 81.

Kalinin, V. V. 1976. Orthomodular partially ordered sets with dimension. Algebra and Logic, Vol. 15, Issue. 5, p. 335.

Iturrioz, Luisa 1986. A representation theory for orthomodular lattices by means of closure spaces. Acta Mathematica Hungarica, Vol. 47, Issue. 1-2, p. 145.

1986. Measures and Hilbert Lattices. p. 183.

Pavičić, M. 1992. Bibliography on quantum logics and related structures. International Journal of Theoretical Physics, Vol. 31, Issue. 3, p. 373.

Cīrulis, Jānis 2014. Quasi-orthomodular Posets and Weak BCK-algebras. Order, Vol. 31, Issue. 3, p. 403.

Chajda, Ivan Fazio, Davide and Ledda, Antonio 2020. The generalized orthomodularity property: configurations and pastings. Journal of Logic and Computation, Vol. 30, Issue. 5, p. 991.

Chajda, Ivan Länger, Helmut and Paseka, Jan 2021. Algebraic Perspectives on Substructural Logics. Vol. 55, Issue. , p. 57.

Chajda, Ivan Fazio, Davide Länger, Helmut Ledda, Antonio and Paseka, Jan 2022. Algebraic Properties of Paraorthomodular Posets. Logic Journal of the IGPL, Vol. 30, Issue. 5, p. 840.

Chajda, Ivan and Länger, Helmut 2022. Sheffer operation in relational systems. Soft Computing, Vol. 26, Issue. 1, p. 89.

Chajda, Ivan and Länger, Helmut 2022. The logic of orthomodular posets of finite height. Logic Journal of the IGPL, Vol. 30, Issue. 1, p. 143.

Chajda, Ivan and Länger, Helmut 2023. Operator residuation in orthomodular posets of finite height. Fuzzy Sets and Systems, Vol. 467, Issue. , p. 108589.

Fazio, D. Ledda, A. and Paoli, F. 2023. On Finch’s Conditions for the Completion of Orthomodular Posets. Foundations of Science, Vol. 28, Issue. 1, p. 419.

Chajda, Ivan and Länger, Helmut 2023. Algebraic structures formalizing the logic with unsharp implication and negation. Logic Journal of the IGPL,

Chajda, Ivan Kolařík, Miroslav and Länger, Helmut 2023. Orthomodular and Skew Orthomodular Posets. Symmetry, Vol. 15, Issue. 4, p. 810.

Chajda, Ivan Fazio, Davide Länger, Helmut Ledda, Antonio and Paseka, Jan 2024. Janusz Czelakowski on Logical Consequence. Vol. 27, Issue. , p. 419.

Article contents

On orthomodular posets

Extract

References

Save article to Kindle

Save article to Dropbox

Save article to Google Drive

Reply to: Submit a response

Your details

You have entered the maximum number of contributors

Conflicting interests