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.
- Proper treatment of meaning postulates.
- Model finding
- 自然言語をラムダ式で解釈する体系PTQのHaskell実装 (Lightning Talk @ Haskell Night; in Japanse)
- PTQ demo in Prolog (Japanese)
- About PTQ and Montague grammer