Bibliographie commentée

Desclés, Jean-Pierre ; Ginisti, Jean-Pierre

Mathématiques et Sciences humaines, Tome 104 (1988), p. 93-109 / Harvested from Numdam

Détail

Publié le : 1988-01-01

MR 975882 | Zbl 0663.03007

Bibliographie

Ajdukiewicz, K., 1935, "Die syntaktishe Konnexität", Studia Philosophica, vol. 1, pp. 1-27, repris dans Polish Logic 1920-1939, sous le titre "Syntactic connexion", trad. de H. Weber, 1967, Oxford, Clarendon (S.McCalled.). | JFM 62.1050.03

Bacon, J., "The completeness of a predicate-functor logic", The Journal of symbolic logic, vol.50, 4, pp.903-926. | MR 820122 | Zbl 0587.03003

Barendregt, H.P., 1981(1984, 20 ed), The Lambda Calculus, its Syntax and Semantics, North-Holland. | MR 774952

Bunder, M.W., 1974, "Various systems of set theory based on combinatory logic ", Notre-Dame journal of formal logic, Université Notre-Dame, Indiana, 15,2, pp.192-206. | MR 344079 | Zbl 0275.02028

Bunder, M.W., 1974, "Propositional and predicate calculuses based on combinatory logic", ibid., pp.25-34. | MR 344078 | Zbl 0272.02045

Church, A., 1941, The Calculi of Lambda Conversion, Princeton Univ. Press. | JFM 67.0041.01 | MR 5274 | Zbl 0026.24205

Curry, H.B., 1951, "La théorie des combinateurs ; la logique combinatoire et les antinomies", Rendiconti di matemat. e delle sue applic., 10, pp.347-359, pp.360-370. | MR 48372 | Zbl 0044.25101

Curry, H.B., 1964, "The elimination of variables by regular combinators", in BUNGE, M., The critical approach to science and philos., London, Collier McMillan, pp.127-143.@ L'auteur répond à deux critiques (à vrai dire trop peu élaborées) adressées par Quine, 1960, p.346 note, aux opérateurs de Schönfinkel, à savoir de porter "sur eux-mêmes et les uns et les autres" (parce qu'ils conviennent à des objets quelconques), alors que ceux de Quine ne portent que sur des prédicats ; et de supposer "un univers abstrait équivalent à celui de la plus haute théorie des ensembles". Curry exprime son désaccord avec le second point en revendiquant la neutralité ontologique de la logique combinatoire : la possibilité, entre autres, d'appliquer x à y, objets quelconques, ne suppose pas d'engagement sur la nature de x et de y, mais il accorde qu'on peut toujours s'intéresser, comme le fait Quine, à un langage où l'application de x à y n'est définie que pour certaines sortes d'objets, par exemple comme chez Quine définie dans le seul cas où x est un opérateur et y un prédicat. Il entend montrer, toutefois, que "les transformations sur les prédicats f admises par Quine sont toutes des cas particuliers de transformations qui peuvent être accomplies par des combinateurs réguliers" (p.133), et cela bien que Quine ait, à son avis, restreint abusivement à 6 éléments les opérateurs qu'il prétend utiliser (les effets d'un opérateur sur un prédicat dépendant dans son langage formel, en toute rigueur, de l'arité du prédicat auquel il s'applique). Voir aussi Curry, Hindley, Seldin, 1972, pp.11-13.@

Curry, H.B., 1967, "Logic, Combinatory", The Encyclop. of Philos., 4, New York, pp.504-509. @ Introduction à la logique combinatoire et au calcul-λ .@

Curry, H.B., 1968, "Combinatory logic", in Contemporary philos., La Philosophie contemporaine, Firenze, La nuova Italiana editrice, pp.295-307.

Curry, H.B., Feys, R., 1958, Combinatory Logic, vol. I, North-Holland. | MR 94298 | Zbl 0081.24104

Curry, H.B., Hindley, J.R., Seldin, J.P., 1972, Combinatory Logic, vol. II, North-Holland. | Zbl 0242.02029

Descles, J.P., 1981, Opérateur lopération : méthodes intrinsèques en informatique fondamentale ; application aux bases de données et à la linguistique, thèse de doctorat d'état ès sciences, collection E.R.A. 642, Laboratoire de Linguistique Formelle, Univ. de Paris 7.

Descles, J.P., 1981, " De la notion d'opération à celle d'opérateur ou à la recherche de formalismes intrinsèques", Math. Sci. hum., 76, pp.5-32. | Numdam | MR 674266 | Zbl 0508.03007

Dopp, J., 1960, "Essai d'une présentation de la logique combinatoire", Logique et Analyse, pp.183-201. @ Epistémologie claire des objectifs et des méthodes de la logique combinatoire.@

Feys, R., 1946, "La technique de la logique combinatoire", Revue philosophique de Louvain, 44, pp.74-103, 237-270.

Feys, R., 1953, "Peano et Burali-Forti, précurseurs de la logique combinatoire ", Actes du XIe congrès international de philosophie, 5, pp.70-72. | MR 56532 | Zbl 0053.00106

Frege, G., 1893, Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet, Band I. Jena (1893) ; Band II. Jena (1903) ; Traduction en anglais par M. Furth: The Basic Laws of Arithmetic, exposition of the system, 1964, Univ.of California Press. | JFM 25.0101.02

Frey, L., 1967, "Langages logiques et processus intellectuels", in Les modèles et la formalisation du comportement, colloques internationaux du CNRS, Paris, Ed. du CNRS, pp.327-345.

Fitch, F.B., 1952, Symbolic logic, an introduction. | MR 59859 | Zbl 0049.00504

Fitch, F.B., 1974, Elements of Combinatory Logic, Yale Univ. Press. | MR 414326

Ginisti, J.P., 1988, "La logique combinatoire et ses applications, in Encyclopédie Philosophique, I, Paris, Presses Universitaires de France. | MR 1438784

Ginisti. J.P., "Calcul-lambda", Ibid., II, (à paraître).

Ginisti, J.P., "Calcul-lambda", Ibid., III, (à paraître).

Stenlund, S., 1971, Introd. to Comb. logic., Uppsala. Brèves notices bio-bibliographiques sur Curry, Feys, Fitch, Hindley, Seldin, Stenlund.@ | MR 505304

Ginisti, J.P., La formation des notions en logique combinatoire, Publications de l'Université de Lodz (Pologne) ; Actes d'un colloque de 1988 sur la formation des notions de base en logique classique et non classique, (à paraître).

Grize, J.B., 1971, "Quelques problèmes logico-linguistiques", Math. et Sci. hum., 35, pp.43-50. | Numdam | Zbl 0263.68035

Grize, J.B., 1973, Logique moderne III, Paris, Mouton, Gauthier-Villars.

Grize, J.B., 1974 "Logique combinatoire", in Grande Encyclopédie Larousse, Vol. 12, (1974) 7239-7241. @ Introduction à la logique combinatoire comparable à GRIZE, 1973.@

Grunberg, T., 1983, "A tableau system of proof for predicate-functor logic with identity", The Journal of Symbolic Logic, vol. 48,1140-1144. | MR 727802 | Zbl 0539.03003

Heijenoort (Van), J., 1967, From Frege to Gôdel, A source Book in Mathematical Logic, 1879-1931, Harvard Univ. Press. | MR 209111 | Zbl 0183.00601

Hindley, J.R., Lercher, B., Seldin, J.P., 1972, Introduction to Combinatory Logic, Cambridge Univ. Press. | MR 335242 | Zbl 0269.02005

HINDLEY, J. R., SELDIN, J. P., To H. B. Curry, (Eds), 1980, Essays on Combinatory Logic, Lambda-Calculus and Formalism, Academic Press. | MR 592795 | Zbl 0469.03006

Hindley, J.R., Seldin, J.P., 1986, Introduction to Combinators and Lambda-Calculus, Cambridge Univ. Press. | MR 879272

Kearns, J.T., 1969, "Combinatory logic with discriminators, The Journal of Symbolic Logic, Vol. 34, 4, 561-575. | MR 268044 | Zbl 0195.02002

Kearns, J.T., 1973, "The completeness of combinatory logic with discriminators ", Notre-Dame journal of formal logic, 14, 3, 323-333. | MR 319714 | Zbl 0214.01904

Kneale, W., Kneale, M., 1962, The Development of Logic, paperback,1984, Oxford, Clarendon. | MR 144812

Knopfler, S., 1979, Linguistische und formallogische Untersuchung zur Prädicat-Funktor-Logik, polycopié, Sonderforschungsbereich 99 "Linguistik", Univ.deKonstanz.

Kuhn, S.T., 1983, "An axiomatization of predicate functor logic, Notre-Dame journal of formal logic, vol. 24,2. | MR 687346 | Zbl 0464.03059

Ladriere, J., 1961, "Expression de la récursion primitive dans le calcul lambda-K ", Logique et Analyse 4, 13-14, pp. 23-54.

Ladriere, J., 1963, "Le symbolisme comme domaine de l'opératoire", Cahiers Internationaux de Symbolisme, n°3, Havré-les-Mons, Belgique ; repris dans L'articulation du sens, discours scientifique et parole de la foi, 1970, Aubier Montaigne, Editions du Cerf, Delachaux&Niestlé, Desclée de Brouwer, pp. 51-72.

Ladriere, J., 1973, "L'explication en logique", in L. Apostel et alii, L'explication dans les sciences, Paris, Flammarion, chapitre II, pp. 19-56.

Lambek, J., 1980, "From lambda-calculus to cartesian closed categories", in Hindley et Seldin, 1980, pp. 375-402. | MR 592812

Lambek, J., Scott, P.J., 1986, Introduction to higher order categorical logic, Cambridge Univ. Press. | MR 856915 | Zbl 0596.03002

Luschei, E.C., 1962, The logical systems of Lesniewski, North-Holland. | MR 186551 | Zbl 0111.00602

Mieville, D., 1984, Un développement des systèmes logiques de Stanislas Lesniewski. Protothétique- Ontologie-Méréologie, Beme, Peter Lang.

Neumann(Von), J., 1925, "An axiomatisation of set theory", Heijenoort, 1967, pp. 393-413.

Noah, A., 1980, "Predicate-functors and the limits of decidability in logic", Notre-Dame journal of formal logic, Vol. 21, 4, 701-707. | MR 592530 | Zbl 0416.03014

Quine, W.V., 1936, "Towards a calculus of concepts", The Journal of Symbolic Logic, Vol. 1, 2-25. | JFM 62.0035.02 | Zbl 0014.38702

Quine, W.V., 1936, "A reinterpretation of Schönfinkel's logical operators ", Bulletin American Mathematical Society, 42, 87-89. | JFM 62.0037.02 | Zbl 0014.00301

Quine, W.V., 1960, "Variables explained away", Proceedings of the american philosophical society, 104, 343-347, repris in Selected Logic Papers, New York, Random House, 1966, 227-235.

Quine, W.V., 1971, "Predicate-functor logic, Proceeddings of the Second Scandinavian Logic Symposium (J. Fenstad, Ed.), Amsterdam, North-Holland, pp. 309-316. | MR 337601 | Zbl 0222.02009

Quine, W.V., 1971, "Algebraic logic and predicate functors , in Logic and art : Essays in honor of Nelson Goodman (Richard Rudner and Israel Scheffler, Eds.), Indianapolis, Bobbs-Merrill, repris dans une version revue et augmentée in The way of paradox and other essays, Harvard University Press, 2ème éd.,1976, pp. 283-307. | MR 485354

Quine, W.V., 1971, "Predicate-functor logic", Proceedings of the second scandinavian logic symposium, (J. Fenstad Ed.), Amsterdam, North-Holland, pp. 309-16. | MR 337601 | Zbl 0222.02009

Quine, W.V., 1971, "Algebraic logic and predicate functor", in Logic and art: essays in honnor of Nelson Goodman, (R. Rudner and 1. Scheffler, Ed.s), Indianapolis, Bobbs-Merrill, repris dans une version revue et augmentée in The ways ofparadox and other essays, Harvard Univ. Press, 2nd Ed.., 1976, pp. 283-307. | MR 485354

Quine, W.V., 1981, "Predicate functors revisited", Journal of symbolic logic, vol. 46, 3, pp. 649-52. | MR 627913 | Zbl 0472.03007

Rosenbloom, P.C., 1950, The elements of mathematical logic, New York, Dover, chap. III, section 4. | MR 41070 | Zbl 0041.14804

Rosser, J.B., 1935, "A mathematical logic without variables" ; part I Annals of Maths. (2) 36, pp.127-50; part II Duke Math. J. 1, pp. 328-55. | JFM 61.0056.02 | MR 1545881 | Zbl 0011.00201

Rosser, J.B., 1955, Deux esquisses de logique, (traduction de R. Martin), Paris, Louvain, Gauthier-Villars, Nauwelaerts. | MR 67042 | Zbl 0064.00701

Rosser, J.B., 1984, "Highlights of the history of the lambda-calculus", Annals Hist. Computing 6, pp. 337-49 | MR 763730 | Zbl 0998.01530

Schönfinkel, M., 1924, "Über die Bausteine der Mathematischen Logik", Math. Annalen 92, pp. 305-15; traduction en anglais in Heijenoort 1967: "On the building blocks of mathematical logic", pp.355-66. | JFM 50.0023.01 | MR 1512218

Scott, D.S., 1975, " Combinators and Classes" in Böhm, 1975, pp. 1-26. | MR 505296 | Zbl 0342.02018

Seldin, J.P., "Curry's program", in Hindley et Seldin, 1980, pp. 3-34. | MR 592795

Smullyan, R., 1985, To Mock a Mockingbird and Others logic Puzzles, Including an amazing Adventure in Combinatory Logic, New York, Alfred A. Knopf.

Barbault, M.C., Descles, J.P., 1972, Transformations formelles et théories linguistiques, Documents du centre de linguistique quantitative, n° 11, Paris, Dunod. | MR 471449 | Zbl 0242.68031

Bar-Hillel, Y., 1953, " A quasi-arithmetical notation for syntactic description ", Language 29, pp. 47-58; traduit in Langages 9, 1968, pp. 9-22. | Zbl 0156.25402

Benthem (Van), J., 1988, " Thé Lambek Calculus", in Oehrle et alii, 1988, pp. 35-68.

Buszkowski, W., 1988, "Generative Power of Categorial Grammar", in Oehrle et alii, 1988, pp. 69-94. | MR 1013842

Casadio, C., 1988, "Semantic Categories and the Development of Categorial Grammars", in Oehrle, 1988, pp. 95-123.

Daladier, A., 1982, "Représentations applicatives d'énonçés", Actes de l'école d'été Linguistique et Informatique, M. Borillo Ed.., Toulouse, CNRS.

Descles, J.P., 1975, "Systèmes transformationnels de Z.H. Hanis : I. construction du noyau ; II éclatement du noyau", T-a-information,1 et 2.

Descles, J.P., 1984, "Langages quasi-naturels : opérations de prédication et de thématisation" Actes du colloque Communication parlée : Dialogue Homme-Machine à composante orale, GRECO n°39, Nancy.

Descles, J.P., 1985, Représentation des connaissances : archétypes cognitifs, schèmes conceptuels, schémas grammaticaux, Actes Sémiotiques - Documents, VII, CNRS, 69-70.

Descles, J.P., 1986, "Implication entre concepts : la notion de typicalité ", Travaux de Linguistique et de Littérature, XXIV,1, pp.179-202.

Descles, J.P., 1987, "Réseaux sémantiques : la nature logique et linguistique des relateurs", Langages, n°87, pp. 55-78.

Descles, J.P., 1987, "La paraphrase n'est pas une relation d'équivalence mais une relation asymétrique", L'ambiguïté et la Paraphrase, Opérations linguistiques, processus cognitifs, traitements automatisés, (Ed.. C. Fuchs), Caen, Centre de publications Univ. de Caen, pp. 205-09.

Descles, J.P., Guentcheva, Z., 1988, "Semantics in natural languages and Combinatory Logic ", Symposium : Models of Meaning, Varna, Bulgarie, septembre 1988, 15 p..

Descles, J.P., Guentcheva, Z., Shaumyan S.K., 1985, Passivization in Applicative Grammar, Pragmatics & Beyond VI : 1, John Benjamins.

Descles, J.P., Guentcheva, Z., Shaumyan, S.K., 1985, " A theoritical Analysis of reflivization in the framework of applicative grammar", Linguisticae Investigationes, 2.

Descles, J.P., Shaumyan, S.K., 1988, Langages applicatifs, langues naturelles et cognition, Paris, Hermès.

Gardies, J.L., 1975, Esquisse d'une grammaire pure, Paris, Vrin.

Gladkij, A.V., Mel'Cuck, I.A., 1969, Elementy Matematiceskoj Lingvistiki, Moscou, Nauka; traduction en français : Eléments de linguistique mahématique, 1972, Paris, Dunod.

Guentcheva-Descles, Z., 1976, Présentation critique du modèle applicationnel de S. K. Saumjan, Documents du centre de Linguistique quantitative n°30, Paris, Dunod.

Halle, M., Bresnan, J., Miller, G.A., 1978, Linguistic Theory and Psycholological Reality, The Massachussetts Institute of Technology, Cambridge (Mass), MIT Press, 1981.

Harris, Z., 1968, Mathematical Structures of Language, Interscience Publishers ; traduit en français (par C. Fuchs), Structures mathématiques du langage, 1971, Paris, Dunod. | MR 471457 | Zbl 0195.02202

Harris, Z., 1976, Notes du cours de syntaxe, Paris, Seuil.

Harris, Z., 1982, A Grammar of English on Mathematical Principles, New York, John Wiley.

JAKOBSON, R., (Ed..), 1961, (2° édition: 1964), Proceedings of Symposia in Applied Mathematics, Structure of Language and its mathematical Aspects, volume XII, American Mathematical Society. | MR 209090 | Zbl 0111.16102

Lambek, J., 1958, "The Mathematics of Sentence Structure", American Mathematical Monthly, 65, pp. 154-165. | MR 106170 | Zbl 0080.00702

Lambek, J., 1988, "Categorial and Categorical grammars", in Oehrle et alii, 1988, pp. 297-317.

L'Hermitte, R., 1974, "S. K. Saumjan et la linguistique soviétique", Langages, n°33, pp. 3-14.

Miller, G.A., 1978, " Semantic Relations among Words" in HALLE et alii, 1978, pp. 60-118.

Oehrle, R.T., Bach, E., Wheeler, D., 1988, Categorical Grammars and Natural Languages Structures, D. Reidel.

Pierault-Le Bonniec, G., Van Meter, K., 1976, Etude génétique de la construction d'une propriété relationnelle : la relation de passage, Monographies françaises de psychologie, n° 35, Paris, Ed. du CNRS.

Shaumyan(Saumjan), S.K., 1965, Structurnaja linguistica, Moskva, Nauka, traduit en anglais en 1971, Principles of Structural linguistics,The Hague, Mouton. | MR 200099

Shaumyan(Saumjan), S.K., 1972, Filosofskie problemy teoreticeskoj lingvistiki, (Les problèmes philosophiques de la linguistique théorique), Moskva, Nauka.

Shaumyan, S.K., 1977, Applicationnal Grammar as a semantic theory of natural language, Chicago Univ.Press, Edimburgh Univ. Press.

Shaumyan, S.K., 1982, "The goals of linguistic theory and applicative grammar " , Math. Sci. hum., n° 77, pp. 7-42. | Numdam

Shaumyan, S.K., 1986, A Semiotic Theory of Natural Language, Bloomington, Indiana Univ. Press.

Steedman, M., 1988, "Combinators and Grammars", in Ochrle et alii, 1988, pp. 417-442.

Wlodarczyk, H., 1974, "La Grammaire Applicative de S. K. Saumjan", Langages, n°33, pp. 15-64.

Abelson, H., Sussman, G.J., Sussman, J., 1985, Structure and Interpretation of Computer Programs, The MIT Press. | Zbl 0569.68005

Backus, J.W., 1978, "Can Programming be liberated from the von Neumann Style? A Functional Style and its Algebra of Programs", Communications of the ACM, vol 21, pp.613-641. | MR 520392 | Zbl 0383.68013

BÖHM, C., (Ed..), 1975, Lambda -calculus and computer science theory, LNCS. | MR 461975

Brainerd, W.S., Landweber, L.H., 1974, Theory of Computation, New York, John Wiley. | MR 400760 | Zbl 0274.68001

Burge, W.H., 1975, Recursive Programming Techniques, Addisson-Wesley. | Zbl 0321.68002

Darlington, J., Henderson, P., Turner, D.A., 1982, Functional Programming and its Applications, Cambridge Univ. Press. | Zbl 0476.68008

Degroot, D., Lindstrom, G., 1986, Logic Programming, Functions, Relations and Equations, Prentice-Hall. | Zbl 0588.68005

Glasser, H., Hanking, Ch., Till, D., 1984, Principles of Functional Programming, Prentice Hall International. | MR 894921 | Zbl 0649.68002

Gordon, M. J .C., 1979, The Denatotional Description of Programming Languages, Springer Verlag. | Zbl 0412.68004

Henderson, P., 1980, Functional Programming : Application and Implementation, Prentice-Hall International. | Zbl 0426.68059

Kantor, R., Sontacchi, G., " Un interprète LISP de la programmation fonctionnelle réalisé par des combinateurs" RAIRO, informatique théorique, vol 19, n°1, 1985, pp.33-41. | Numdam | MR 795770

Manna, Z., 1974, Mathematical Theory of Computation, McGraw-Hill. @ Un "classique".@ | MR 400771 | Zbl 0353.68066

Robinet, B., 1979, "Types et fonctionnalité", in Robinet, 1979, pp. 303-325.

ROBINET, B.,(Ed..), 1979, Actes de la sixième Ecole de printemps d'Informatique théorique, Publ. L.I.T..P, Univ. Paris 7.

Robinet, B., 1980, "Les langages de Backus sont des systèmes de manipulation d'arbres", 5ème Colloque sur les arbres en algèbre et en programmation (C.L.AA.P.), Lille, pp.83-94. | MR 620180 | Zbl 0444.68025

Stoy, J.E., 1977, Denotational Semantics : The Scott-Strachey Approach to Programming Languages Theory, MIT Press. | MR 488969

Tennent, R.D., 1981, Principles of Programming Languages, Prentice-Hall International. | Zbl 0463.68008

Trelaven, Ph C., Brownbridge, D.R., Hopkins, R., 1982, " Data-Driven and Demand-Driven Computer Architecture ", ACM, Computing Surveys, Vol. 14, n° 1, pp. 93-143.