Mathematical systems theory

, Volume 2, Issue 4, pp 287–318

Deductive systems and categories

I. Syntactic Calculus and Residuated Categories
  • Joachim Lambek
Article

DOI: 10.1007/BF01703261

Cite this article as:
Lambek, J. Math. Systems Theory (1968) 2: 287. doi:10.1007/BF01703261

Copyright information

© Springer-Verlag New York Inc. 1968

Authors and Affiliations

  • Joachim Lambek
    • 1
  1. 1.McGill UniversityMontrealCanada