FraCaS
From MaRDI portal
Software:39557
No author found.
Related Items (4)
Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution ⋮ Natural language inference in Coq ⋮ Translating between Language and Logic: What Is Easy and What Is Difficult ⋮ The Proper Treatment of Linguistic Ambiguity in Ordinary Algebra
This page was built for software: FraCaS
