hsPTQ

hsPTQ

hsPTQ is an implementation of Montague's PTQ written in Haskell. It translate a subset of English declarative sentences into formulas of intensional logic IL.

Demo

Download

TODO

  • Proper treatment of meaning postulates.
  • Model finding

Talk

Bibliography

Last modified:2017/09/09 15:52:29
Keyword(s):
References:[言語の意味論] [Software]