Skip to main content
SpringerLink
Log in

Some Properties of Orthologics

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this paper, we present three main results on orthologics. Firstly, we give a sufficient condition for an orthologic to have variable separation property and show that the orthomodular logic has this property. Secondly, we show that the class of modular orthologics has an infinite descending chain. Finally we show that there exists a continuum of orthologics.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. BRUNS, G., and J. HARDING, ‘Amalgamation of ortholattices’, Order 14 (1998),193–209.

    Article  Google Scholar 

  2. BRUNS, G., and G. KALMBACH, ‘Varieties of orthomodular lattices I’, CanadianJournal ofMathematics 23, no. 5, (1971), 802–810.

    Google Scholar 

  3. BRUNS, G., and G. KALMBACH, ‘Varieties of orthomodular lattices II’, Canadian Journal of Mathematics 24, no. 2, (1972), 328–337.

    Google Scholar 

  4. DAVEY, B.A., and H.A. PRIESTLEY, Introduction to Lattices and Order, OxfordUni-versityPress, 1990.

  5. GOLDBLATT, R. I., ‘Semantic analysis of orthologic’, Journal of Philosophical Logic 3 (1974),19–35.

    Article  Google Scholar 

  6. KALMBACH, G., Orthomodular Lattices, Academic Press, 1983.

  7. MALINOWSKI, J., ‘The deduction theorem for quantum logic — some negative results’, Journal of Symbolic Logic 55 (1990), 615–625.

    Google Scholar 

  8. MCKENZIE, R., ‘Equational bases for lattice theories’, Math. Scand. 27 (1970),24–38.

    Google Scholar 

  9. MIYAZAKI, Y., ‘The super-amalgamation property of the variety ofortholattices’, Reportson Mathematical Logic 33 (1999), 45–63.

    Google Scholar 

  10. PTÁK, P., and S. PULMANNOVÁ, Orthomodular Structures as Quantum Logics, Kluwer Academic Publishers, 1991.

Download references

Author information

Authors and Affiliations

  1. Meme Media Laboratory, Hokkaido University, Kita 13 Nishi 8, Kita-Ku, Sapporo, 060-8628, Japan

    Yutaka Miyazaki

Authors
  1. Yutaka Miyazaki
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yutaka Miyazaki.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Miyazaki, Y. Some Properties of Orthologics. Stud Logica 80, 75–93 (2005). https://doi.org/10.1007/s11225-005-6777-3

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-005-6777-3

Keywords

Search

Navigation