Skip to main content
SpringerLink
Log in

The axioms for implication in orthologic

  • Published:
Czechoslovak Mathematical Journal Aims and scope Submit manuscript

Abstract

We set up axioms characterizing logical connective implication in a logic derived by an ortholattice. It is a natural generalization of an orthoimplication algebra given by J. C. Abbott for a logic derived by an orthomodular lattice.

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. J. C. Abbott: Semi-boolean algebra. Matematički Vesnik 4 (1967), 177–198.

    MathSciNet  Google Scholar 

  2. J. C. Abbott: Orthoimplication algebras. Studia Logica 35 (1976), 173–177.

    Article  MathSciNet  MATH  Google Scholar 

  3. I. Chajda, R. Halaš and H. Länger: Orthomodular implication algebras. Intern. J. of Theor. Phys. 40 (2001), 1875–1884.

    Article  MATH  Google Scholar 

  4. I. Chajda, R. Halaš and H. Länger: Simple axioms for orthomodular implication algebras. Intern. J. of Theor. Phys. 43 (2004), 911–914.

    Article  MATH  Google Scholar 

  5. I. Chajda, G. Eigenthaler and H. Länger: Congruence Classes in Universal Algebra. Heldermann Verlag, 2003.

  6. B. Jónsson: Algebras whose congruence lattices are distributive. Math. Scand. 21 (1967), 110–121.

    MathSciNet  MATH  Google Scholar 

  7. G. Kalmbach: Orthomodular Lattices. Academic Press, London, 1983.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Algebra and Geometry, Palacký University Olomouc, Tomkova 40, 779 00, Olomouc, Czech Republic

    Ivan Chajda

Authors
  1. Ivan Chajda
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ivan Chajda.

Additional information

This work is supported by the Research Project MSM 6198959214 by Czech Goverment.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Chajda, I. The axioms for implication in orthologic. Czech Math J 58, 15–21 (2008). https://doi.org/10.1007/s10587-008-0002-2

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10587-008-0002-2

Keywords

Search

Navigation