Skip to main content
SpringerLink
Log in

Categorical De Morgan laws

  • Published:
algebra universalis Aims and scope Submit manuscript

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

References

  1. P. Freyd, Aspects of topoi,Bulletin of the australian Mathematical Society 7 (1972), 1–76.

    Article  MATH  MathSciNet  Google Scholar 

  2. F. W. Lawvere, C. Maurer, andG. C. Wraith (editors),Model Theory and Topoi, Lecture Notes in Mathematics, Volume 445, Springer, Berlin, 1975.

    MATH  Google Scholar 

  3. S. Mac Lane,Categories for the Working Mathematician, Springer, Berlin, 1971.

    MATH  Google Scholar 

  4. S. Mac Lane, Sets, topoi, and internal logic in categories, in [5]

    Google Scholar 

  5. H. Rasiowa andR. Sikorski,The Mathematics of Metamathematics, Warsaw, 1970.

  6. H. E. Rose andJ. C. Shepherdson (editors),Logic Colloquium '76, North-Holland Amsterdam. (1975).

    Google Scholar 

  7. M. E. Szabo (editor),The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam, 1969.

    MATH  Google Scholar 

  8. M. E. Szabo, A categorical characterization of Boolean algebras,Algebra Universalis 4 (1974), 192–194.

    MATH  MathSciNet  Google Scholar 

  9. M. E. Szabo,Algebra of Proofs, North-Holland, Amsterdam, in press.

  10. G. C. Wraith Lectures on elementary topoi, in [1] 114–206.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Concordia University, Montreal, Quebec, Canada

    M. E. Szabo

Authors
  1. M. E. Szabo
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This research was supported in part by the National Research Council of Canada under Grant A8224.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Szabo, M.E. Categorical De Morgan laws. Algebra Universalis 12, 93–102 (1981). https://doi.org/10.1007/BF02483867

Download citation

  • Received:

  • Accepted:

  • Issue Date:

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

Keywords

Search

Navigation