Author:
Kerber Manfred,Kohlhase Michael
Reference31 articles.
1. Baaz, M. & Fermüller, C. G. (1992). Resolution for many-valued logics. In A. Voronkov (Ed.),Proceedings of the International Conference on Logic Programming and Automated Reasoning LPAR ‘92, St. Petersburg, Russia, 1992(Vol. 624, pp. 107–118). Berlin, Germany: Springer.
2. Generalized quantifiers and natural language
3. Beaver, D. I. (1997). Presupposition. In J. van Benthem & A. ter Meulen (Eds.),Handbook of logic and language(pp. 939–1008). Elsevier Science.
4. Presupposition and two-dimensional logic