Abstract
Dov Gabbay is not just a 50-year-old person, his name also denotes a phenomenon. I have felt his and its influence for many years: which are hereby gratefully acknowledged. Two of these influences are especially relevant for what follows. The first is Dov’s general view of modal logic as a theory of first-order definable operators over relational models (Gabbay [8]). The second is his work on labelled deduction as a general format for the proof theory of substructural logics with a resource-sensitive slant, be it categorial or dynamic (Gabbay [9]). This generalizes standard type theories, with their binary statements assigning types to terms, or proofs to propositions. The two themes are related. In my view, the following equation sums up much of Dov’s recent work.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hajnal Andréka and Szabolcs Mikulas. Lambek calculus and its relational semantics: Completeness and incompleteness. Journal of Logic, Language and Information, 3: 1–37, 1994.
Hajnal Andréka, Johan van Benthem, and Istvan Németi. Back and forth between modal logic and classical logic. Bulletin of the IGPL, 3:685–720, 1995. Revised version appeared in Journal of Philosophical Logic 27: 3, 1998, 217–274.
Isaac Asimov. Foundation Trilogy, Granada Publishing Company, London, 1960.
Jon Barwise and John Etchemendy. Hyperproof. CSLI Publications, Stanford, 1994.
Wojciech Buszkowski. Mathematical linguistics and proof theory. In J. van Benthem and A. ter Meulen, editors, Handbook of Logic and Language. Elsevier Science Publishers, pages 683–736, Amsterdam, 1996.
Sača Buvač and Richard Fikes. Formalizing context. In Working Notes for AAAI-5 Fall Symposium Series. Cambridge (Mass.), 1995.
Michael Dunn. Relevance logic and entailment. In D. M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic. Vol. III, pages 117–224. Reidel, Dordrecht, 1984.
Dov M. Gabbay. Expressive functional completeness in tense logic. In U. Mönnich, editor, Aspects of Philosophical Logic, pages 91–117. Reidel, Dordrecht, 1981.
Dov M. Gabbay. Labelled Deductive Systems; Principles and Applications, Vol. 1: Basic Principles. Oxford University Press, 1996.
Dov M. Gabbay and Ruth Kempson. Natural-language content: A proof-theoretic perspective. In P. Dekker and M. Stokhof, editors, Proceedings Eighth Amsterdam Colloquium, pages 173–196. Department of Philosophy, Univesrity of Amsterdam, 1991.
Jeroen Groenendijk and Martin Stokhof. Dynamic predicate logic. Linguistics and Philosophy, 4: 39–100, 1991.
Willem Groeneveld. Logical Investigations into Dynamic Semantics. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam, 1995.
Jaakko Hintikka. Logic, Language Games and Information. Clarendon Press, Oxford, 1973.
Maciej Kandulski. The non-associative Lambek calculus. In W. Marciszewski W. Buszkowski and J. van Benthem, editors, Categorial Grammar, pages 141–151. John Benjamin, Amsterdam, 1988.
Ruth Kempson, editor. Deduction and Language, special issue, Bulletin of the Interest group in Pure and Applied Logics, Vol 3:2/3. Max-Planck-Institut, Saarbrücken, 1995.
Natasha Kurtonina. Frames and Labels. A Modal Analysis of Categorial Deduction. PhD thesis, Onderzoeksinstituut voor Taal en Spraak, University of Utrecht and Institute for Logic, Language and Computation, University of Amsterdam, 1995.
Peter Lorenzen and Karl Lorenz. Dialogische Logik. Wissenschaftliche Buchgesellschaft, Darmstadt, 1979.
Maarten Marx and Yde Venema. Many-Dimensional Modal Logic and Arrow Logic. Oxford University Press, 1996.
Reinhard A. Muskens, Johan van Benthem and Albert Visser, Dynamics. In J. van Benthem and A. ter Meulen, editors, Handbook of Logic and Language. Elsevier Science Publishers, Amsterdam, pp. 587–648, 1997.
Michael Moortgat. Type-logical grammars. In J. van Benthem and A. ter Meulen, editors, Handbook of Logic and Language. Elsevier Science Publishers, Amsterdam, 1997.
Mitsuhiro Okada. A uniform phase-semantic proof of completeness, cut-elimination and strong normalization for polymorphic Lambek calculus. Technical report, Department of Computer Science, Keijo University, Tokyo, 1995.
Ewa Orlowska. Relational interpretation of modal logics. In J. Monk, H. Andréka and I. Németi, editors, Algebraic Logic, Colloq. Math. Soc. J. Bolyai, pages 443–471. North-Holland, Amsterdam, 1991.
Craig Smorynski. The incompleteness theorems. In Handbook of Mathematical Logic, pages 821–865. North-Holland, Amsterdam, 1977.
Göran Sundholm. Proof theory and meaning. In D. M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic. Vol. III, pages 471–506. Reidel, Dordrecht, 1986.
Johan van Benthem. The semantics of variety in categorial grammar. Technical Report Report 83–26, Department of Mathematics, Simon Fraser University, Burnaby (B.C.)., 1983.
Johan van Benthem. Correspondence theory. In D. M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic. Vol. II, pages 167–247. Reidel, Dordrecht, 1984.
Johan van Benthem. Language in Action. Categories, Lambdas and Dynamic Logic. North-Holland, Amsterdam, 1991.
Johan van Benthem. Logic and argumentation theory. Technical Report Report X-94–05, Institute for Logic, Language and Computation, University of Amsterdam, 1994. TAppeared in F. van Eemeren, R. Grootendorst and F. Veltman, eds., Proceedings Academy Colloquium on Logic and Argumentation, pages 27–41, Royal Dutch Aacdemy of Sciences, Amsterdam.
Johan van Benthem. Modal foundations for predicate logic. Technical Report Report ML-95-07, Institute for Logic, Language and Computation, University of Amsterdam, 1995. First version appeared in Bulletin of the IGPL 5:2, 259–286, London and Saarbruecken. Second version to appear in E. Orlowska, ed., Memorial Volume for Elena Rasiowa, Springer Verlag, Berlin.
Johan van Benthem. Changing contexts and shifting assertions. In R. van Glabbeek A. Aliseda and D. Westerståhl, editors, Proceedings 4th CSLI Workshop in Logic, Language and Computation. CSLI Publications, Stanford, pages 51–65, 1996.
Johan van Benthem. Exploring Logical Dynamics. Studies in Logic, Language and Information, CSLI Publications, Stanford, 1996.
Frank Veltman. Defaults in update semantics. Technical Report Report LP-91-02, Institute for Logic, Language and Computation, University of Amsterdam, 1991. Appeared in the Journal of Philosophical Logic, 25 (1996), 221–261.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Van Benthem, J. (1999). Proofs, Labels and Dynamics in Natural Language. In: Ohlbach, H.J., Reyle, U. (eds) Logic, Language and Reasoning. Trends in Logic, vol 5. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-4574-9_3
Download citation
DOI: https://doi.org/10.1007/978-94-011-4574-9_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-5936-7
Online ISBN: 978-94-011-4574-9
eBook Packages: Springer Book Archive