Skip to main content
SpringerLink
Log in

On the canonicity of Sahlqvist identities

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We give a simple proof of the canonicity of Sahlqvist identities, using methods that were introduced in a paper by Jónsson and Tarski in 1951.

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. W. J. Blok,The lattice of modal logics: an algebraic investigation J. Symbolic Logic 45 (1980), pp. 221–236.

    Google Scholar 

  2. K. Fine,Some connections between modal and elementary logic, Proc. Third Scandinavian Logic Symposium, Studies in Logic 82 (Stig Kanger ed), North Holland, 1975, pp. 15 – 31.

  3. R. Goldblatt,Varieties of complex algebras Annals of Pure and Applied Logic 44 (1989), pp. 173–242.

    Google Scholar 

  4. R. Goldblatt,The McKinsey axiom is not canonical J. Symbolic Logic 56 (1991), pp. 554–562.

    Google Scholar 

  5. L. Henkin,Extending Boolean operations Fund. Math. 22 (1970), pp. 723–752.

    Google Scholar 

  6. B. Jónsson, [a]The preservation theorem for Boolean algebras with operators, Proc. of the International Conference Honoring Garrett Birkhoff (K. Baker, E. T. Schmidt, R. Wille, ed's), Darmstadt, Germany, June 13 – 17, 1991, Springer-Verlag, to appear.

  7. B. Jónsson andA. Tarski,Boolean algebras with operators I Amer. J. Math. 73 (1951), pp. 891–939.

    Google Scholar 

  8. E. J. Lemmon,An Introduction to Modal Logic Amer. Phil. Quarterly Monograph Ser. Basil, Blackwell 1977.

    Google Scholar 

  9. J. C. C. McKinsey andA. Tarski,Some theorems about the sentential calculi of Lewis and Heyting J. Symbolic Logic 13 (1948), pp. 1–15.

    Google Scholar 

  10. H. Ribeiro,A remark on Boolean algebras with operators Amer. J. Math. 74 (1952), pp. 162–167.

    Google Scholar 

  11. R. de Rijke andY. Venema, [a]Sahlqvist's Theorem for Boolean Algebras with Operators, Manuscript.

  12. H. Sahlqvist,Completeness and correspondence in the first and second order semantics of modal logic, Proc. Third Scandinavian Logic Symposium, Studies in Logic 82 (Stig Kanger ed), North Holland, 1975, pp. 110 – 143.

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Vanderbilt University, 37240, Nashville, TN, USA

    Bjarni Jónsson

Authors
  1. Bjarni Jónsson
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Jónsson, B. On the canonicity of Sahlqvist identities. Stud Logica 53, 473–491 (1994). https://doi.org/10.1007/BF01057646

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01057646

Keywords

Search

Navigation