The donkey and the monoid: Dynamic semantics with control elements

Journal of Logic, Language and Information

Volumn 11, Issue 1, 2002, Pages 107-131

  Visser, Albert ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Donkey; Dynamic Predicate Logic; File semantics; Information streams; Meaning; Monoid; Monoidal processing; Natural Language; Polarity; Scope

Indexed keywords

EID: 34248366039     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1023/A:1013026830239     Document Type: Article

References (15)

1. Barr, M. and Wells, C., 1989, Category Theory for Computing Science, New York: Prentice Hall.
2. Bénabou, J., 1985, "Fibered categories and the foundations of naive category theory," The Journal of Symbolic Logic 50, 10-37.
3. Groenendijk, J. and Stokhof, M., 1991, "Dynamic Predicate Logic," Linguistics and Philosophy 14, 39-100.
4. Hollenberg, M., 1997, "An equational axiomatisation of dynamic negation and relational composition," Journal of Language, Logic, and Information 6, 381-401.
5. Jacobs, B., 1999, Categorical Logic and Type Theory, Studies in Logic and the Foundations of Mathematics, Vol. 141, Amsterdam: North Holland.
6. Kamp, H., 1981, "A theory of truth and semantic representation, " pp. 1-41 in Truth, Interpretation and Information, J. Groenendijk, ed., Dordrecht: Foris.
7. Kamp, H. and Reyle, U., 1993, From Discourse to Logic, Vols. I, II, Dordrecht: Kluwer.
8. Nouwen, R., 1999a, "Action-Only Semantics: A study of the use of control elements in DPL," Master's Thesis, CKI, Department of Philosophy, Utrecht University. http://www.phil.uu.nl/ckiscripties.html
9. Nouwen, R., 1999b, "DPL with control elements," pp. 193-198 in Proceedings of the Twelfth Amsterdam Colloquium, P. Dekker, ed., Amsterdam: ILLC, Department of Philosophy, University of Amsterdam.
10. Tarlecki, A., Burstall, R., and Goguen, J., 1991, "Some fundamental algebraic tools for the semantics of computation: Part 3. Indexed categories," Theoretical Computer Science 91, 239-264.
11. Visser, A., 1994, "Actions under presuppositions," pp. 196-233 in Logic and Information Flow, J. van Eijck and A. Visser, eds., Cambridge, MA: MIT Press.
12. Visser, A., 1997, "Dynamic Relation Logic is the logic of DPL-relations," Journal of Language, Logic, and Information 6, 441-452.
13. Visser, A., 1999, "The donkey and the monoid," extended version. AI preprint, No. 1, Department of Philosophy, Utrecht University, http: //www.phil.uu.nl/ckipreprints.html
14. Visser, A. and Vermeulen, C., 1996, "Dynamic bracketing and discourse representation," Notre Dame Journal of Formal Logic 37, 321-365.
15. Zeevat, H., 1991, "A compositional approach to DRT," Linguistics and Philosophy 12, 95-131.