References
A. Church,A formulation of the simple theory of types,The Journal of Symbolic Logic, vol. 5 (1940), pp. 56–68.
R. Montague,English as a formal language,Linguaggi nella societa e nella tecnica, edizioni di Comunita (Milan), pp. 189–223.
P. Tichý,An approach to intensional analysis,Noûs, vol. 5, No. 3 (1971), pp. 273–297.
P. Tichý,Intension in terms of Turing machines,Studia Logica, 24 (1969), pp. 7–21.
Additional information
Allatum est die 29 Septembris 1973
Rights and permissions
About this article
Cite this article
Materna, P. Expressibility of propositions in-languages. Stud Logica 33, 259–271 (1974). https://doi.org/10.1007/BF02123280
Issue Date:
DOI: https://doi.org/10.1007/BF02123280