A single-type logic for natural language
Kristina Liefke · Journal of Logic and Computation · 2013
Journal Article A single-type logic for natural language Get access Kristina Liefke Kristina Liefke Center for Logic and Philosophy of Science, Tilburg University and Munich Center for Mathematical Philosophy, Ludwig-Maximilians-Universität München, Ludwigstr. 31, 80539 Munich, Germany. E-mail: [email protected] Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 25, Issue 4, August 2015, Pages 1111–1131, https://doi.org/10.1093/logcom/exs074 Published: 23 January 2013 Article history Received: 30 October 2010 Published: 23 January 2013