Previous |  Up |  Next


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:
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


Files Size Format View
Kybernetika_26-1990-4_6.pdf 799.2Kb application/pdf View/Open
Back to standard record
Partner of
EuDML logo