La langue de la logique mathématique comme modèle sémantique pour la langue naturelle

Church, A. Introduction to mathematical logic Princeton, N. J., Princeton University Press, 1956, vol. I.

Quine, W.O. " Logic as a source of syntactical insight ", in : JAKOBSON, R. (ed.). Structure of language and its mathematical aspects. Providence, R. I., American Mathematical Society, 1961.

Beth, E.W. " The relationship between formalized languages and natural languages ", pp. 66-81 in : Form and strategy in science. Dordrecht, Reidel, 1964.

Šanin N.A. ; Davydov, G.B. ; Maslov , S.J. ; Minc, G.E. ; Orevkov, B.P. ; Sli-Senko, A.O. Algoritm mašinnogo poiska estestvennogo logičeskogo vyvoda v isčislenii vyskazyvanij [L'algorithme de la recherche mécanique de la conclusion logique naturelle dans le calcul des énoncés] Moscou-Léningrad , Nauka, 1965.

Quine, W.O. Word and object New York-London , Wiley, 1960.

Chomsky, N. Cartesian linguistics New York-London, Harper and Row, 1966 .

Padučeva, E.V. " Semantičeskij analiz estestvennogo jazyka pri perevode na jazyki matematičeskoj logiki " [Analyse sémantique de la langue naturelle lors de la traduction de la logique mathématique dans la langue], in : Trudy III Vsesojuznoj konferencii po informacionnopoiskovym sistemam i avtomatizirovannoj obrabotke informacii [Travaux de la troisième conférence de l'U.R.S.S. sur les systèmes informationnels et le traitement automatique de l'information] Moscou, Izd-vo Viniti 1967, vol. II.

Cappell, S. " A programmed formalizer for a fragment of English ", in : National Bureau of Standard report , 1964, N 8 171.

Charney, E.K. " On semantic interpretation of linguistic entities that function structurally ", in : Papers of the 1st International Conference on MT and Applied Linguistic Analysis. Teddington , 1961.

Darlington, J.L. " Translating ordinary language into functional logic ", Quarterly progress report of the Massachussetts Institute of Technology 69, 1963 : 165-168.

Krulee, G.K. ; Kuch, D.J. ; Landi , D.M. ; Manelski, D.M. " Natural language inputs for a problem solving system ", Behavioral science 3, 1964 : 281-288.

Reichenbach, H. Elements of symbolic logic New York, Macmillan, 1947.

Jakobson, R. " On linguistic aspects of translation ", in : BROWER, R. A. (ed.). On translation. Cambridge, Mass., Harvard University Press, 1959.

Jespersen, O. The philosophy of grammar London, George Allen and Unwin- New York, H. Holt, 1935.

Rabin, C. " The linguistics of translation ", in : BOOTH, A. D. (ed.). Aspects of translation. London, Secker and Warburg, 1958.

Padučeva, E.V. " Dva podhoda k semantičeskomu analizu kategorii čisla " [Deux approches de l'analyse sémantique de la catégorie du nombre], in : To honor Roman Jakobson The Hague-Paris , Mouton, 1967.

Peškovskij, A.M. Russkij sintaksis v naučnom osveščenii [La syntaxe russe à la lumière de la science]. 7e éd. Moscou, Učpedgiz, 1957.