A Translation from Logic to English with Dynamic Semantics thumbnail
Pause
Mute
Subtitles
Playback speed
0.25
0.5
0.75
1
1.25
1.5
1.75
2
Full screen

A Translation from Logic to English with Dynamic Semantics

Published on Mar 26, 20105824 Views

We present a procedure for translating standard predicate logic into English. The procedure generates both referring expressions and non-referring expressions, including both referential and bound var

Related categories