Joachim Lambek (lambek-j)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Casadio, Claudia and Lambek, Joachim. 2002. “A Tale of Four Grammars.” Studia Logica: An International Journal for Symbolic Logic 71(3): 315–329.
Lambek, Joachim. 1958. “The Mathematics of Sentence Structure.” American Mathematical Monthly 65: 154–170.
Lambek, Joachim. 1959. “Contributions to a Mechanical Analysis of the English Verb-Phrase.” Journal of the Canadian Linguistic Association 5: 83–89.
Lambek, Joachim. 1961. “On the Calculus of Syntactical Types.” in Structure of Language and its Mathematical Aspects, edited by Roman Jakobson, pp. 166–178. Proceedings of Symposia in Applied Mathematics n. 12. Providence, Rhode Island: American Mathematical Society.
Lambek, Joachim. 1980. “From \(\lambda\)-Calculus to Cartesian Closed Categories.” in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, edited by Jonathan P. Seldin and J. Roger Hindley, pp. 375–402. New York: Academic Press.
Lambek, Joachim. 1982. “The Influence of Heraclitues on Modern Mathematics.” in Scientific Philosophy Today. Essays in Honor of Mario Bunge, edited by Joseph Agassi and Robert S. Cohen, pp. 111–122. Boston Studies in the Philosophy of Science n. 67. Dordrecht: D. Reidel Publishing Co.
Lambek, Joachim. 1988a. “Categorial and Categorical Grammars.” in Categorial Grammars and Natural Language Structures, edited by Richard T. Oehrle, Emmon W. Bach, and Deirdre W. Wheeler, pp. 297–318. Studies in Linguistics and Philosophy n. 32. Dordrecht: D. Reidel Publishing Co.
Lambek, Joachim. 1988b. “The Mathematics of Sentence Structure.” in Categorial Grammar, edited by Wojciech Buszkowski, Witold Marciszewski, and Johan van Benthem, pp. 153–172. Amsterdam: John Benjamins Publishing Co.
Lambek, Joachim. 1993a. “Logic without Structural Rules (Another Look at Cut Elimination).” in Substructural Logics, edited by Peter Schröder-Heister and Kosta Došen, pp. 179–206. Oxford Science Publications. Oxford: Oxford University Press.
Lambek, Joachim. 1993b. “From Categorial Grammar to Bilinear Logic.” in Substructural Logics, edited by Peter Schröder-Heister and Kosta Došen, pp. 207–238. Oxford Science Publications. Oxford: Oxford University Press.
Lambek, Joachim. 1994a. “Some Aspects of Categorical Logic.” in Logic, Methodology and Philosophy of Science IX: Proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Swede, August 7-14, 1991, edited by Dag Prawitz, Brian Skyrms, and Dag Westerståhl, pp. 69–90. Studies in Logic and the Foundations of Mathematics n. 134. Amsterdam: Elsevier Science Publishers B.V.
Lambek, Joachim. 1994b. “What is a Deductive System?” in What is a Logical System?, edited by Dov M. Gabbay, pp. 141–160. Oxford: Oxford University Press.
Lambek, Joachim. 1995. “On the Nominalistic Interpretation of Natural Languages.” in Québec Studies in the Philosophy of Science I. Logic, Mathematics, Physics and History of Science. Essays in Honor of Hughes Leblanc, edited by Mathieu Marion and Robert S. Cohen, pp. 69–78. Boston Studies in the Philosophy of Science n. 177. Dordrecht: Kluwer Academic Publishers.
Lambek, Joachim. 1997. “Programs, Grammars, and Arguments: A Personal View of Some Connections Between Computation, Language and Logic.” The Bulletin of Symbolic Logic 3(3): 312–311.
Lambek, Joachim. 1999a. “Binary Relations in the Social and Mathematical Sciences.” in Logic and Foundation of Mathematics, edited by Andrea Cantini, Ettore Casari, and Pierluigi Minari, pp. 155–164. Synthese Library n. 280. Dordrecht: Kluwer Academic Publishers.
Lambek, Joachim. 1999b. “Deductive Systems and Categories in Linguistics.” in Logic, Language and Reasoning: Essays in Honour of Dov Gabbay, edited by Hans Jürgen Ohlbach and Uwe Reyle, pp. 279–294. Dordrecht: Kluwer Academic Publishers.
Lambek, Joachim. 2017. “Six-Dimensional Lorentz Category.” in Categories for the Working Philosopher, edited by Elaine M. Landry, pp. 349–357. Oxford: Oxford University Press, doi:10.1093/oso/9780198748991.001.0001.
Lambek, Joachim and Moerdijk, Ieke. 1982. “Two Sheaf Representations of Elementary Toposes.” in The L.E.J. Brouwer Centenary Sympsoium, Proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981, edited by Anne Sjerp Troelstra and Dirk van Dalen, pp. 275–295. Studies in Logic and the Foundations of Mathematics n. 110. Amsterdam: North-Holland Publishing Co.
Lambek, Joachim and Scott, Philip. 1981. “Intuitionist Type Theory and Foundations.” The Journal of Philosophical Logic 10(1): 101–115.