R. Montague. The proper treatement of quantification in ordinary English. In R.M. Thomason, editor, Formal Philosophy, Yale University Press, New Haven, Co, USA, 1974. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Pragmatic Reconstruction of λProlog - Belleannée, Brisset, Ridoux (1994) (Correct)
.... : and computer programs (parameterization: f(x) int x; f : g , blocks: f int x; g , Expressions of compositional semantics feature compositionality (denotational: T g [ B 1 ; B 2 ] T g [ B 1 ] T g [ B 2 ] 8] Montague semantics for natural language [44]) Finally, logical quantifications in automated deduction feature a form of genericity: one instantiates them using substitutions for building proofs. The following table pictures some possible representations using terms. 8u[P (u) forall u(P u) P x2X (fx) sum X x(f x) R 1 0 f(x) dx ....
R. Montague. The proper treatement of quantification in ordinary English. In R.M. Thomason, editor, Formal Philosophy, Yale University Press, New Haven, Co, USA, 1974.
A Pragmatic Reconstruction of λProlog - Belleannée, Brisset, Ridoux (1994) (Correct)
....in parameterization (e.g. f(x) int x; f . g ) blocks (e.g. f int x; g ) etc. Expressions of compositional semantics feature compositionality as in denotational semantics (e.g. T g [ B 1 ; B 2 ] T g [ B 1 ] T g [ B 2 ] 50] or Montague s semantics for natural language [45]. Finally, logical quantifications in automated deduction feature a form of genericity: one instantiates them using substitutions for building proofs. The following table pictures some possible representations using terms. 8uP (u) forall u(P u) j forall P) P x2X f(x) sum X x(f x) j sum ....
R. Montague. The proper treatement of quantification in ordinary English. In R.M. Thomason, editor, Formal Philosophy, Yale University Press, New Haven, Co, USA, 1974.
On The Use Of Advanced Logic Programming Languages In.. - Coupet-Grimal, Ridoux (1994) (Correct)
....Cedex, FRANCE. E mail: ridoux irisa.fr. THE JOURNAL OF LOGIC PROGRAMMING c flElsevier Science Inc. 1994 655 Avenue of the Americas, New York, NY 10010 0743 1066 94 3. 50 2 the semantic level, we find the same discrepancy between the more sophisticated formalisms like compositional semantics [39] and the comparatively rudimentary first order terms of the Herbrand Universe used in Prolog [54, 35] However, these concepts need not be featured as such in a Logic Programming language. Indeed, there are too many desirable features to incorporate all of them in a single programming language. We ....
R. Montague. The proper treatement of quantification in ordinary English. In R.M. Thomason, editor, Formal Philosophy, Yale University Press, New Haven, Co, USA, 1974.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC