This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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.
Bénabou, J.: Structures algébriques dans les catégories, Cahiers Topologie Géométrie Différentielle 10(1968), 1–126.
Birkhoff, G. and J.D. Lipson: Heterogeneous algebras, J. Combinatorial Theory 8(1970), 115–133.
Burroni, A.: Algèbres graphiques, 3ième colloque sur les catégories, Cahiers Topologie Géométrie Différentielle 23 (1981), 249–265.
Eilenberg, S. and C.C. Elgot: Recursiveness, Academic Press, New York 1970.
Findlay, G.D.: Reflexive homomorphic relations, Can. Math. Bull. 3(1960), 131–132.
Girard, J.-Y.: Linear logic, J. Theoretical Computer Science 50(1987), 1–102.
Goodstein, R.L.: Recursive number theory, North-Holland Publ. Co., Amsterdam 1957.
Kleene, S.C.: Introduction to metamathematics, Van Nostrand, New York 1952.
Lambek, J.: Goursat's theorem and the Zassenhaus lemma, Can. J. Math. 10(1957), 45–56.
Lambek, J.: The mathematics of sentence structure, Amer. Math. Monthly 65(1958), 154–169.
Lambek, J.: Deductive systems and categories II, Springer Lecture Notes in Mathematics 86(1969), 76–122.
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.
Lambek, J.: Multicategories revisited, Proc. A.M.S. Conf. on Categories in Computer Science and Logic, 1987.
Lambek, J. and P.J. Scott: Introduction to higher order categorical logic, Cambridge Studies in advanced mathematics 7, Cambridge University Press, Cambridge 1986.
Lawvere, F.W.: Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. U.S.A. 50(1963), 869–872.
Lawvere, F.W.: An elementary theory of the category of sets, Proc. Nat. Acad. Sci. U.S.A. 52(1964), 1506–1511.
Mal'cev, A.I.: On the general theory of algebraic systems, Math. Sb. N.S. 35(1954), 3–20.
Mann, G.R.: The connection between equivalence of proofs and cartesian closed categories, Proc. London Math. Soc. 31(1975), 289–310.
Pfender, M., R. Reiter and M. Sartorius,: Constructive arithmetics, in: Category Theory, Springer Lecture Notes in Mathematics 962(1982), 282–286.
Prawitz, D.: Natural deduction, Almquist and Wiksell, Stockholm 1965.
Prawitz, D.: Ideas and results in proof theory, Studies in Logic 63(1971), 235–307.
Román, L.: Cartesian categories with natural numbers object, J. Pure and Applied Algebra (1988) (to appear).
Szabo, M.: Algebra of proofs, Studies in Logic and the Foundations of Mathematics 86, North-Holland Publ. Co., Amsterdam 1978.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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
