Skip to main content

On the unity of algebra and logic

Part of the Lecture Notes in Mathematics book series (LNM,volume 1348)

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   44.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   59.95
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Anderson, A.R. and N.D. Belnap: Entailment: the logic of relevance and necessity, Princeton University Press, Princeton, N.J., 1975.

    MATH  Google Scholar 

  • Bénabou, J.: Structures algébriques dans les catégories, Cahiers Topologie Géométrie Différentielle 10(1968), 1–126.

    MATH  Google Scholar 

  • Birkhoff, G. and J.D. Lipson: Heterogeneous algebras, J. Combinatorial Theory 8(1970), 115–133.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • Burroni, A.: Algèbres graphiques, 3ième colloque sur les catégories, Cahiers Topologie Géométrie Différentielle 23 (1981), 249–265.

    MathSciNet  MATH  Google Scholar 

  • Eilenberg, S. and C.C. Elgot: Recursiveness, Academic Press, New York 1970.

    MATH  Google Scholar 

  • Findlay, G.D.: Reflexive homomorphic relations, Can. Math. Bull. 3(1960), 131–132.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • Girard, J.-Y.: Linear logic, J. Theoretical Computer Science 50(1987), 1–102.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • Goodstein, R.L.: Recursive number theory, North-Holland Publ. Co., Amsterdam 1957.

    MATH  Google Scholar 

  • Kleene, S.C.: Introduction to metamathematics, Van Nostrand, New York 1952.

    MATH  Google Scholar 

  • Lambek, J.: Goursat's theorem and the Zassenhaus lemma, Can. J. Math. 10(1957), 45–56.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • Lambek, J.: The mathematics of sentence structure, Amer. Math. Monthly 65(1958), 154–169.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • Lambek, J.: Deductive systems and categories II, Springer Lecture Notes in Mathematics 86(1969), 76–122.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • Lambek, J.: Cartesian closed categories and typed λ-calculi, in: Cousineau, Curien and Robinet (eds.), Combinators and functional programming languages, Springer Lecture Notes in Computer Science 242(1986), 136–175.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • Lambek, J.: Multicategories revisited, Proc. A.M.S. Conf. on Categories in Computer Science and Logic, 1987.

    Google Scholar 

  • Lambek, J. and P.J. Scott: Introduction to higher order categorical logic, Cambridge Studies in advanced mathematics 7, Cambridge University Press, Cambridge 1986.

    MATH  Google Scholar 

  • Lawvere, F.W.: Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. U.S.A. 50(1963), 869–872.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • Lawvere, F.W.: An elementary theory of the category of sets, Proc. Nat. Acad. Sci. U.S.A. 52(1964), 1506–1511.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • Mal'cev, A.I.: On the general theory of algebraic systems, Math. Sb. N.S. 35(1954), 3–20.

    MathSciNet  Google Scholar 

  • Mann, G.R.: The connection between equivalence of proofs and cartesian closed categories, Proc. London Math. Soc. 31(1975), 289–310.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • Pfender, M., R. Reiter and M. Sartorius,: Constructive arithmetics, in: Category Theory, Springer Lecture Notes in Mathematics 962(1982), 282–286.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • Prawitz, D.: Natural deduction, Almquist and Wiksell, Stockholm 1965.

    MATH  Google Scholar 

  • Prawitz, D.: Ideas and results in proof theory, Studies in Logic 63(1971), 235–307.

    MathSciNet  MATH  Google Scholar 

  • Román, L.: Cartesian categories with natural numbers object, J. Pure and Applied Algebra (1988) (to appear).

    Google Scholar 

  • Szabo, M.: Algebra of proofs, Studies in Logic and the Foundations of Mathematics 86, North-Holland Publ. Co., Amsterdam 1978.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1988 Springer-Verlag

About this paper

Cite this paper

Lambek, J. (1988). On the unity of algebra and logic. In: Borceux, F. (eds) Categorical Algebra and its Applications. Lecture Notes in Mathematics, vol 1348. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0081361

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50362-0

  • Online ISBN: 978-3-540-45985-9

  • eBook Packages: Springer Book Archive