Works matching IS 13670751 AND DT 2004 AND VI 12 AND IP 2
Results: 4
An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 2, p. 135, doi. 10.1093/jigpal/12.2.135
- By:
- Publication type:
- Article
Selection and Uniformization in Generalized Product.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 2, p. 125, doi. 10.1093/jigpal/12.2.125
- By:
- Publication type:
- Article
On the Notion of SubstitutionPart of the material of this paper—mainly the proof of the completeness theorem—is already contained in [3].
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 2, p. 111
- By:
- Publication type:
- Article
Abduction in Semantic Space: Towards a Logic of Discovery.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 2, p. 97, doi. 10.1093/jigpal/12.2.97
- By:
- Publication type:
- Article