FraCaS

swMATH27843MaRDI QIDQ39557FDOQ39557

Author name not available (Why is that?)

Cited In (4)

• Natural language inference in Coq
• Translating between Language and Logic: What Is Easy and What Is Difficult
• Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution
• The Proper Treatment of Linguistic Ambiguity in Ordinary Algebra

This page was built for software: FraCaS