Multimodal linguistic inference

Journal of Logic, Language and Information

Volumn 5, Issue 3-4, 1996, Pages 349-385

  Moortgat, Michael ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Categorial grammar; Lambek calculus; Modal logic; Type logic

Indexed keywords

EID: 18744406399     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1007/BF00159344     Document Type: Article

References (50)

1. Abrusci, M., Casadio, C. and Moortgat, M., eds., 1994, Linear Logic and Lambek Calculus. Proceedings 1st Rome Workshop, June 1993. OTS/DYANA, Utrecht, Amsterdam.
2. Andreoli, J.-M., 1992, "Logic programming with focusing proofs in linear logic,'" Journal of Logic and Computation 2(3).
3. Barry, G. and Morrill, G., eds., 1990 Studies in Categorial Grammar. CCS, Edinburgh.
4. Benthem, J. van, 1983, "The semantics of variety in categorial grammar". Report 83-29, Math Dept. Simon Fraser University, Burnaby, Canada.
5. Benthem, J. van, 1991, Language in Action. Categories, Lambdas, and Dynamic Logic. Studies in Logic, Amsterdam: North-Holland.
6. Benthem, J. van, 1984, "Correspondence theory," pp. 167-247 in Handbook of Philosophical Logic. Vol II, Gabbay and Guenthner, eds., Dordrecht.
7. Belnap, N.D., 1982, "Display Logic," Journal of Philosophical Logic 11, 375-417.
8. Blyth, T.S. and Janowitz, M.F., 1972, Residuation Theory, New York.
9. Bucalo, A., 1994, "Modalities in Linear Logic weaker than the exponential "of course": algebraic and relational semantics," Journal of Logic, Language and Information 3(3), 211-232.
10. Buszkowski, W., 1988, "Generative power of categorial grammars," in Categorial Grammars and Natural Language Structures, Oehrle, Bach and Wheeler, eds., Dordrecht.
11. Došen, K., 1992, "A brief survey of frames for the Lambek calculus," Zeitschr. f. math. Logik und Grundlagen d. Mathematik 38, 179-187.
12. Došen, K., 1988, 1989, "Sequent systems and groupoid models," Studia Logica 47, 353-385,
13. Došen, K., ," Studia Logica 48, 41-65.
14. Dunn, J.M., 1991, "Gaggle theory: an abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators," in Logics in AI, JELIA Proceedings, Van Eijck (ed.), Berlin: Springer-Verlag.
15. Dunn, M., 1993, "Partial Gaggles Applied to Logics with Restricted Structural Rules," in Substructural Logics, Došen and Schröder-Heister, eds., Oxford.
16. Fuchs, L., 1963, Partially-Ordered Algebraic Systems, New York.
17. Gabbay, D., 1991, Labelled Deductive Systems. Draft. Oxford University Press (to appear).
18. Gabbay, D., 1993, "A general theory of structured consequence relations," in Substructural Logics, Došen and Schröder- Heister, eds., Oxford.
19. Girard, J.-Y., 1993, "On the unity of logic," Annals of Pure and Applied Logic 59, 201-217.
20. Girard, J.-Y., 1994, "Light linear logic: extended abstract," Ms LMD, Marseille.
21. Hendriks, H., 1993, "Studied flexibility," Ph.D. Dissertation, ILLC, Amsterdam.
22. Hendriks, P., 1995a, "Comparatives in Categorial Grammar," Ph.D. Thesis, Groningen.
23. Hendriks, P., 1995b, "Ellipsis and multimodal categorial type logic," in Proceedings Formal Grammar Conference, Morrill, ed., Barcelona.
24. Hepple, M., 1990, "The grammar and processing of order and dependency: a categorial approach," Ph.D. Dissertation, Edinburgh.
25. Hepple, M., 1994, "Labelled deduction and discontinuous constituency," in Linear Logic and Lambek Calculus, Proceedings 1st Rome Workshop, June 1993, Abrusci, Casadio and Moortgat, eds., OTS/DYANA, Utrecht, Amsterdam.
26. Hodas, J.S. and Miller, D., 1994, "Logic programming in a fragment of intuitionistic linear logic," Information and Computation 110(2), 327-365.
27. Kandulski, W., 1988, "The non-associative Lambek calculus," in Categorial Grammar, Buszkowski, Marciszewski and van Benthem, eds., Amsterdam.
28. König, E., 1991, "Parsing as natural deduction," Proceedings of the 27th Annual Meeting of the ACL, Vancouver.
29. Kraak, E., 1995a, "French clitics. A categorial perspective," MA Thesis, Utrecht.
30. Kraak, E., 1995b, "Controlling resource management: French clitics," Esprit BRA Dyana-2 Deliverable R1.3.C, in Leiss, ed.
31. Kracht, M., 1993, "Power and weakness of modal display calculus," Ms Mathematisches Institut, Freie Universität Berlin.
32. Kurtonina, N., 1995, "Frames and labels. A modal analysis of categorial inference," Ph.D. Dissertation, OTS Utrecht, ILLC Amsterdam.
33. Kurtonina, N. and Moortgat, M., 1995, "Structural control," Logic, Structures and Syntax, in Blackburn and de Rijke, eds., Dordrecht: Kluwer (to appear).
34. Lambek, J., 1958, "The mathematics of sentence structure', American Mathematical Monthly 65, 154-170.
35. Lambek, J., 1988, "Categorial and categorical grammar," Categorial Grammars and Natural Language Structures, in Oehrle, Bach and Wheeler, eds., Dordrecht.
36. Lincoln, P., Mitchell, J., Scedrov, P. and Shankar, N., 1992, "Decision problems for prepositional linear logic," Annals of Pure and Applied Logic, 56, 239-311.
37. Moortgat, M. and Morrill, G., 1991, "Heads and phrases. Type calculus for dependency and constituent structure," Ms OTS Utrecht.
38. Moortgat, M. and Oehrle, R., 1993, Logical Parameters and Linguistic Variation. Lecture Notes on Categorial Grammar. 5th European Summer School in Logic, Language and Information. Lisbon.
39. Moortgat, M. and Oehrle, R.T., 1994, "Adjacency, dependency and order," pp. 447-466 in Proceedings 9th Amsterdam Colloquium.
40. Morrill, G., 1990, "Intensionality and boundedness," L&P 13, 699-726.
41. Morrill, G., 1992, "Categorial formalisation of relativisation: pied-piping, islands and extraction sites," Report LSI-92-23-R, Universität Politècnica de Catalunya.
42. Morrill, G., 1994, "Structural facilitation and structural inhibition," in Linear Logic and Lambek Calculus, Proceedings 1st Rome Workshop, June 1993, Abrusci, Casadio and Moortgat, eds., OTS/DYANA, Utrecht, Amsterdam.
43. Morrill, G., 1994, Type Logical Grammar, Dordrecht: Kluwer.
44. Routley, R. and Meyer, R.K., 1972-73, "The semantics of entailment I," pp. 199-243 in Truth, Syntax, Modality, H. Leblanc, ed., Amsterdam: North-Holland.
45. Steedman, M., 1993, "Categorial grammar. Tutorial overview," Lingua 90, 221-258.
46. Szabolcsi, A., 1987, "Bound variables in syntax: are there any?" pp. 294-318 in Semantics and Contextual Expressions, Bartsch, van Benthem and van Emde Boas, eds., Dordrecht: Foris.
47. Venema, Y., 1993, "Meeting strength in substructural logics," UU Logic Preprint. To appear in Studia Logica.
48. Versmissen, K., 1995, "Word order domains in categorial grammar," in Proceedings Formal Grammar Conference, Morrill, ed., Barcelona.
49. Wallen, L.A., 1990, Automated Deduction in Nonclassical Logics, Cambridge, London: MIT Press.
50. Wansing, H., 1992, "Sequent calculi for normal modal prepositional logics," ILLC Report LP-92-12, Amsterdam.