| Title:
|
On a logical formalization of natural language (English) |
| Author:
|
Peregrin, Jaroslav |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
26 |
| Issue:
|
4 |
| Year:
|
1990 |
| Pages:
|
327-341 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03B40 |
| MSC:
|
03B65 |
| MSC:
|
68S05 |
| idZBL:
|
Zbl 0725.03011 |
| idMR:
|
MR1080285 |
| . |
| Date available:
|
2009-09-24T18:20:12Z |
| Last updated:
|
2012-06-05 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/125432 |
| . |
| Reference:
|
[1] K. Ajdukiewicz: Die syntaktische Konexitat.Studia Philosophica 1 (1935), 1 - 27. |
| Reference:
|
[2] Y. Bar-Hillel: A quasi-arithmetical notation for syntactic description.Language XXIX (1953), 47-58. Zbl 0156.25402 |
| Reference:
|
[3] J. Barwise, J. Perry: Situations and Attitudes.MIT Press, Cambridge 1983. |
| Reference:
|
[4] J. van Benthem: Categorial grammar and type theory.Linguist. Philos. (to appear). Zbl 0695.03016, MR 1049297 |
| Reference:
|
[5J J. C Bigelow: Believing in semantics.Linguist. Philos. 2 (1978), 101-144. |
| Reference:
|
[6] R. Carnap: Meaning and Necessity.Univ. of Chicago Press, Chicago 1957. |
| Reference:
|
[7] G. Chierchia: Topics in the Syntax and Semantics of Infinitives and Gerunds.Ph. D. Dissertation, Univ. of Massachusets, Amherst 1984. |
| Reference:
|
[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. |
| Reference:
|
[9] N. Chomsky: Syntactic Structures.Mouton, The Hague 1957. |
| Reference:
|
[10] A. Church: A formulation of the simple theory of types.J. Symbolic Logic 5 (1940), 56 - 68. Zbl 0023.28901, MR 0001931 |
| Reference:
|
[11] N. B. Cocchiarella: Conceptualism, realism and intensional Logic.Manuscript. |
| Reference:
|
[12] H. B. Curry, R. Feys: Combinatory Logic.North Holland, Amsterdam 1957. |
| Reference:
|
[13] D. Davidson: Essay on Actions and Events.Claredon Press, Oxford 1980. |
| Reference:
|
[14] G. Frege: Begriffsschrift.Verlag von H. Nebert, Halle, Saale 1979. |
| Reference:
|
[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. |
| Reference:
|
[16] T. M. V. Janssen: Foundations and Applications of Montague Grammar.Mathematisch Centrum, Amsterdam 1983. |
| Reference:
|
[17] J. G. Kemeny: Models of Logical Systems.J. Symbolic Logic 13 (1948). MR 0024400 |
| Reference:
|
[18] J. Lambek: The mathematics of sentence structure.Amer. Math. Monthly LXV (1958), 154-170. Zbl 0080.00702, MR 0106170 |
| Reference:
|
[19] P. Materna: On understanding and believing.Prague Studies in Math. Lingustics 8 (1983), 211-218. Zbl 0565.03004, MR 0833312 |
| Reference:
|
[20] R. Montague: Formal Philosophy: Selected Papers of R. M.(R. Thomasson, ed.), Yale Univ. Press, Yale 1974. |
| Reference:
|
[21] T. Parsons: Underlaying events in the logical analysis of English.In: Actions and Events (E. LePore and B. P. McLaughlin, eds.), Blackwell 1985. |
| Reference:
|
[22] J. Peregrin: A contribution to the theory of propositional attitudes.Prague Bulletin of Mathematical Linguistics 48 (1987), 13 - 36. |
| Reference:
|
[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). |
| Reference:
|
[24] J. Peregrin: Theory of types: good servant bad master.Prague Studies in Math. Lingustics (to appear). |
| Reference:
|
[25] J. Peregrin: A formal theory of meaning.In preparation. |
| Reference:
|
[26] D. Scott: Continuous lattices.In: Toposes, Algebraic Geometry and Logic (F. W. Lawrence, ed.), Springer-Verlag, Berlin 1972. Zbl 0239.54006, MR 0404073 |
| Reference:
|
[27] P. Sgall E. Hajíčová, J. Panevová: The Meaning of the Sentence in its Semantic and Pragmatic Aspects.Academia, Prague 1986. |
| Reference:
|
[28] M. J. Steedman: Combinators and grammars.In: Categorial Grammars and Natural Language Structures (T. Oeherle et al., eds.), Reidel, Dordrecht 1985, 417 - 442. |
| Reference:
|
[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. |
| Reference:
|
[30] P. Tichý: Logic of temporal discourse.Linguist. Philos. 3 (1980), 313-369. |
| Reference:
|
[31] P. Tichý: Constructions.Philos. Sci. 55(1986), 514-543. MR 0869008 |
| Reference:
|
[32] R. Turner: Montague semantics, nominalization and Scott's domains.Linguist. Philos. 6 (1983), 259-288. Zbl 0522.03016, MR 0800752 |
| . |
