On a logical formalization of natural language

 Access to full text

 Full (PDF)

1. K. Ajdukiewicz, Die syntaktische Konexitat, Studia Philosophica 1 (1935), 1 - 27. (1935) 
2. Y. Bar-Hillel, A quasi-arithmetical notation for syntactic description, Language XXIX (1953), 47-58. (1953) Zbl0156.25402
3. J. Barwise, J. Perry, Situations and Attitudes, MIT Press, Cambridge 1983. (1983) 
4. J. van Benthem, Categorial grammar and type theory, Linguist. Philos. (to appear). Zbl0695.03016MR1049297
5. [5J J. C Bigelow, Believing in semantics, Linguist. Philos. 2 (1978), 101-144. (1978) 
6. R. Carnap, Meaning and Necessity, Univ. of Chicago Press, Chicago 1957. (1957) 
7. G. Chierchia, Topics in the Syntax and Semantics of Infinitives and Gerunds, Ph. D. Dissertation, Univ. of Massachusets, Amherst 1984. (1984) 
8. C Casadio, Semantic categories and the development of categorial grammars, In: Categorial Grammars and Natural Language Structures (T. Oeherle et al., ed.). Reidel, Dordrecht 1988, 95-123. (1988) 
9. N. Chomsky, Syntactic Structures, Mouton, The Hague 1957. (1957) 
10. A. Church, A formulation of the simple theory of types, J. Symbolic Logic 5 (1940), 56 - 68. (1940) Zbl0023.28901MR0001931
11. N. B. Cocchiarella, Conceptualism, realism and intensional Logic, Manuscript. 
12. H. B. Curry, R. Feys, Combinatory Logic, North Holland, Amsterdam 1957. (1957) 
13. D. Davidson, Essay on Actions and Events, Claredon Press, Oxford 1980. (1980) 
14. G. Frege, Begriffsschrift, Verlag von H. Nebert, Halle, Saale 1979. (1979) 
15. G. Frege, Funktion und Begriff, Ein Vortrag gehalten in der Sitzung vom 9. 1. 1981 der Jenaischen Gesellschaft fur Medizin und Naturwissenschaft. Reprinted in Logik Texte (K. Berka and L. Kreisel, eds.), Akademie-Verlag 1971. (1981) 
16. T. M. V. Janssen, Foundations and Applications of Montague Grammar, Mathematisch Centrum, Amsterdam 1983. (1983) 
17. J. G. Kemeny, Models of Logical Systems, J. Symbolic Logic 13 (1948). (1948) MR0024400
18. J. Lambek, The mathematics of sentence structure, Amer. Math. Monthly LXV (1958), 154-170. (1958) Zbl0080.00702MR0106170
19. P. Materna, On understanding and believing, Prague Studies in Math. Lingustics 8 (1983), 211-218. (1983) Zbl0565.03004MR0833312
20. R. Montague, Formal Philosophy: Selected Papers of R. M, (R. Thomasson, ed.), Yale Univ. Press, Yale 1974. (1974) 
21. T. Parsons, Underlaying events in the logical analysis of English, In: Actions and Events (E. LePore and B. P. McLaughlin, eds.), Blackwell 1985. (1985) 
22. J. Peregrin, A contribution to the theory of propositional attitudes, Prague Bulletin of Mathematical Linguistics 48 (1987), 13 - 36. (1987) 
23. J. Peregrin, Přirozený jazyk, PROLOG a ,,události'' (Natural Language, PROLOG and ,,events''), Proc. of the AT 88 Symposium, Prague 1988 (in Czech). (1988) 
24. J. Peregrin, Theory of types: good servant bad master, Prague Studies in Math. Lingustics (to appear). 
25. J. Peregrin, A formal theory of meaning, In preparation. 
26. D. Scott, Continuous lattices, In: Toposes, Algebraic Geometry and Logic (F. W. Lawrence, ed.), Springer-Verlag, Berlin 1972. (1972) Zbl0239.54006MR0404073
27. P. Sgall E. Hajíčová, J. Panevová, The Meaning of the Sentence in its Semantic and Pragmatic Aspects, Academia, Prague 1986. (1986) 
28. M. J. Steedman, Combinators and grammars, In: Categorial Grammars and Natural Language Structures (T. Oeherle et al., eds.), Reidel, Dordrecht 1985, 417 - 442. (1985) 
29. A. Strigin, Logic for syntax, In: Proc. '87 Debrecen Symposium on Logic and Language (I. Ruzsa, A. Szabolcsi, eds.), Budapest 1987, pp. 163-170. (1987) 
30. P. Tichý, Logic of temporal discourse, Linguist. Philos. 3 (1980), 313-369. (1980) 
31. P. Tichý, Constructions, Philos. Sci. 55(1986), 514-543. (1986) MR0869008
32. R. Turner, Montague semantics, nominalization and Scott's domains, Linguist. Philos. 6 (1983), 259-288. (1983) Zbl0522.03016MR0800752