Mathematical systems theory

, Volume 2, Issue 4, pp 287–318

Deductive systems and categories

I. Syntactic Calculus and Residuated Categories
  • Joachim Lambek
Article

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag New York Inc. 1968

Authors and Affiliations

  • Joachim Lambek
    • 1
  1. 1.McGill UniversityMontrealCanada

Personalised recommendations