Related Topics

6Natural Language +

7Natural Logic +

8Montague Grammar +

9Paragraph structure +

10Type theory +
Experts

1

2

3

4

5

6

7

8

9

10
Publications (42)

1Processing Of Syntax And Semantics Of Natural Language By Predicate Logic Of Predicate Logic1980  Hiroyuki YamauchiPROCESSING OF SYNTAX AND SEMANTICS OF NATURAL LANGUAGE BY PREDICATE LOGIC Hiroyuki Yamauchi Institute of Space and Aeronautical...

2Methodology and Verifiability in Montague Grammar1986  Seiki Akamaconfined his discussions to the object in the framework of predicate logic in the sense modern logic, lie despaired to define ...

3A Lesniewskian Version Of Montague Grammar1982  Arata ISHIMOT0that 1 .111.51 are the formulas of (secondorder) predicate logic. In other words, the sentences of natura l language...

4On Logical Formulation Of The Computation Process In Semantical Systems1973  JUNTIN WANGand at the same time, by the using of the language of predicate logic, eventually of higher order, to reformulate and improve...

5Dealing with CrossSentential Anaphora Resolution in ALEP1996  Thierry Declerckorder to cope with crosssentential anaphora: the Dynamic Predicate Logic (DPL). In the last section I will show how a very ...

6Compositional Semantics in Verbmobilnot only DI{T, but also or(tinary predicate logic, as well as a Dynamic Predicate Logic (Groenendijk and Stokhof, 1991) can...

7On Underspecified Processing of Dynamic Semantics2000  Alexander Koller,Joachim Niehrenextended trce structures that encode formulas of dynamic predicate logic (DPL) in much the same way as Egg et al.'s (1998) lambda...

8CLG(n): Constraint Logic Grammars1990  Sergio BALARI,Luis Damasexpressed in a slightly restriced form of first order predicate logic, which makes CLG(2) well suited for expressing, amongst...

9Semantic Abstraction and Anaphora1990  Mark HasegawaJohnson,Martin Kaysemantic constructors here, which we have dubbed the predicatelogic, the setsofinfons and the discourserepresentatio...

10An Education and Research Tool for Computational Semantics(Ioves(C,J) ^ woman(J))) Figure 4: 'I'ranslating I)I{T to Predicate Logic li'igure 2: Initial Representation of Anna laughs ...