The Soundness of Internalized Polarity Marking

Studia Logica

Volumn 100, Issue 4, 2012, Pages 683-704

  Moss, Lawrence S ^a  

^a INDIANA UNIVERSITY   (United States)

Author keywords

Categorial grammar; Monotonicity; Natural logic; Polarity

Indexed keywords

EID: 84866075631     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1007/s11225-012-9429-4     Document Type: Article

References (14)

1. Bernardi, Raffaella, Reasoning with Polarity in Categorial Type Logic, Ph. D. thesis, University of Utrecht, 2002.
2. Christodoulopoulos, Christos, Creating a natural logic inference system with combinatory categorial grammar, Master's thesis, University of Edinburgh, 2008.
3. Dowty, David, The role of negative polarity and concord marking in natural language reasoning, in Proceedings of SALT IV, Cornell University, Ithaca, NY, 1994, pp. 114-144.
4. Fyodorov Yaroslav, Winter Yoad, Francez Nissim: Order-based inference in natural logic. Log. J. IGPL 11(4), 385-417 (2003) Inference in computational semantics: the 2000 Dagstuhl Workshop.
5. Icard, Thomas, Exclusion and containment in natural language, 2010. Ms., Stanford University.
6. MacCartney, Bill, and Christopher D. Manning, An extended model of natural logic, in Proceedings of the Eighth International Conference on Computational Semantics (IWCS-8), Tilburg, Netherlands, 2009.
7. Moortgat, Michael, Categorial type logics, in Handbook of Logic and Language, MIT Press, Cambridge, MA, 1997, pp. 93-178.
8. Nairn, Rowan, Cleo Condoravdi, and Lauri Karttunen, Computing relative polarity for textual inference, in Proceedings of ICoS-5 (Inference in Computational Semantics), Buxton, UK, 2006.
9. Pratt-Hartmann Ian, Moss Lawrence S.: Logics for the relational syllogistic. Review of Symbolic Logic 2(4), 647-683 (2009).
10. Valencia, Víctor M. Sánchez, Studies on Natural Logic and Categorical Grammar, Ph. D. thesis, University of Amsterdam, 1991.
11. van Benthem, Johan, Essays in Logical Semantics, vol. 29 of Studies in Linguistics and Philosophy, D. Reidel Publishing Co., Dordrecht, 1986.
12. van Benthem, Johan, Language in Action, vol. 130 of Studies in Logic and the Foundations of Mathematics, North Holland, Amsterdam, 1991.
13. van Benthem, Johan, A brief history of natural logic, in M. Chakraborty, B. Löwe, M. Nath Mitra, and S. Sarukkai (eds.), Logic, Navya-Nyaya and Applications, Homage to Bimal Krishna Matilal, College Publications, London, 2008.
14. Zamansky Anna, Francez Nissim, Winter Yoad: A 'natural logic' inference system using the Lambek calculus. J. Log. Lang. Inf. 15(3), 273-295 (2006).