Multimodal linguistic inference
Tóm tắt
Từ khóa
Tài liệu tham khảo
Abrusci, M., Casadio, C. and Moortgat, M., eds., 1994, Linear Logic and Lambek Calculus. Proceedings 1 st Rome Workshop, June 1993. OTS/DYANA, Utrecht, Amsterdam.
Andreoli, J.-M., 1992, ?Logic programming with focusing proofs in linear logic,? Journal of Logic and Computation 2(3).
Barry, G. and Morrill, G., eds., 1990 Studies in Categorial Grammar. CCS, Edinburgh.
Benthem, J. van, 1983 ?The semantics of variety in categorial grammar?, Report 83?29, Math Dept. Simon Fraser University, Burnaby, Canada.
Benthem, J. van, 1991, Language in Action. Categories, Lambdas, and Dynamic Logic. Studies in Logic, Amsterdam: North-Holland.
Benthem, J. van, 1984, ?Correspondence theory,? pp. 167?247 in Handbook of Philosophical Logic. Vol II, Gabbay and Guenthner, eds., Dordrecht.
Blyth, T.S. and Janowitz, M.F., 1972, Residuation Theory, New York.
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.
Buszkowski, W., 1988, ?Generative power of categorial grammars,? in Categorial Grammars and Natural Language Structures, Oehrle, Bach and Wheeler, eds., Dordrecht.
Do?en, K., 1992, ?A brief survey of frames for the Lambek calculus,? Zeitschr. f. math. Logik und Grundlagen d. mathematik 38, 179?187.
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.
Dunn, M., 1993, ?Partial Gaggles Applied to Logics with Restricted Structural Rules,? in Substructural Logics, Do?en and Schröder-Heister, eds., Oxford.
Fuchs, L., 1963, Partially-Ordered Algebraic Systems, New York.
Gabbay, D., 1991, Labelled Deductive Systems. Draft. Oxford University Press (to appear).
Gabbay, D., 1993, ?A general theory of structured consequence relations,? in Substructural Logics, Do?en and Schröder-Heister, eds., Oxford.
Girard, J.-Y., 1994, ?Light linear logic: extended abstract,? Ms LMD, Marseille.
Hendriks, P., 1995a, ?Comparatives in Categorial Grammar,? Ph.D. Thesis, Groningen.
Hendriks, P., 1995b, ?Ellipsis and multimodal categorial type logic,? in Proceedings Formal Grammar Conference, Morrill, ed., Barcelona.
Hepple, M., 1990, ?The grammar and processing of order and dependency: a categorial approach,? Ph.D. Dissertation, Edinburgh.
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.
Hodas, J.S. and Miller, D., 1994, ?Logic Programming in a fragment of intuitionistic linear logic,? Information and Computation 110(2), 327?365.
Kandulski, W., 1988, ?The non-associative Lambek calculus,? in Categorial Grammar, Buszkowski, Marciszewski and van Benthem, eds., Amsterdam.
König, E., 1991, ?Parsing as natural deduction,? Proceedings of the 27th Annual Meeting of the ACL, Vancouver.
Kraak, E., 1995a, ?French clitics. A categorial perspective,? MA Thesis, Utrecht.
Kraak, E., 1995b, ?Controlling resource management: French clitics,? Esprit BRA Dyana-2 Deliverable R1.3.C, in Leiss, ed.
Kracht, M., 1993, ?Power and weakness of modal display calculus,? Ms Mathematisches Institut, Freie Universität Berlin.
Kurtonina, N., 1995, ?Frames and labels. A modal analysis of categorial inference,? Ph.D. Dissertation, OTS Utrecht, ILLC Amsterdam.
Kurtonina, N. and Moortgat, M., 1995, ?Structural control,? Logic, Structures and Syntax, in Blackburn and de Rijke, eds., Dordrecht: Kluwer (to appear).
Lambek, J., 1958, ?The mathematics of sentence structure?, American Mathematical Monthly 65, 154?170.
Lambek, J., 1988, ?Categorial and categorical grammar,? Categorial Grammars and Natural Language Structures, in Oehrle, Bach and Wheeler, eds., Dordrecht.
Lincoln, P., Mitchell, J., Scedrov, P. and Shankar, N., 1992, ?Decision problems for propositional linear logic,? Annals of Pure and Applied Logic, 56, 239?311.
Moortgat, M. and Morrill, G., 1991, ?Heads and phrases. Type calculus for dependency and constituent structure,? Ms OTS Utrecht.
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.
Moortgat, M. and Oehrle, R.T., 1994, ?Adjacency, dependency and order,? pp. 447?466 in Proceedings 9th Amsterdam Colloquium.
Morrill, G., 1990, ?Intensionality and boundedness,? L&P 13, 699?726.
Morrill, G., 1992, ?Categorial formalisation of relativisation: pied-piping, islands and extraction sites,? Report LSI-92-23-R, Universitat Politècnica de Catalunya.
Morrill, G., 1994, ?Structural facilitation and structural inhibition,? in Linear Logic and Lambek Calculus, Proceedings 1 st Rome Workshop, June 1993, Abrusci, Casadio and Moortgat, eds., OTS/DYANA, Utrecht, Amsterdam.
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.
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.
Venema, Y., 1993, ?Meeting strength in substructural logics,? UU Logic Preprint. To appear in Studia Logica.
Versmissen, K., 1995, ?Word order domains in categorial grammar,? in Proceedings Formal Grammar Conference, Morrill, ed., Barcelona.
Wallen, L.A., 1990, Automated Deduction in Nonclassical Logics, Cambridge, London: MIT Press.
Wansing, H., 1992, ?Sequent calculi for normal modal propositional logics,? ILLC Report LP-92-12, Amsterdam.