Characterizing logic grammars: A substructural logic approach

Journal of Logic Programming

Volumn 26, Issue 3, 1996, Pages 235-283

  Andrews, James ^a   Dahl, Veronica ^b   Popowich, Fred ^b  

^a SIMON FRASER UNIVERSITY   (Canada)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL LOGIC;

LOGIC GRAMMARS; STATIC DISCONTINUITY GRAMMARS (SDG); SUBSTRUCTURAL LOGIC SEQUENT CALCULUS PROOF SYSTEM;

LOGIC PROGRAMMING;

EID: 0030108981     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/0743-1066(95)00075-5     Document Type: Article

References (27)

1. Abramsky, S., Computational Interpretations of Linear Logic, Theoretical Comput. Sci. 111:3-57 (1993).
2. Abrusci, M., A Comparison between Lambek Syntactic Calculi and Intuitionistic Linear Logic, Zeitschrift für Mathematische Logik 36:11-15 (1990).
3. Anderson, A. R. and Belnap, N. D., Entailment: The Logic of Relevance and Necessity, Princeton University Press, Princeton, NJ, 1975.
4. Dahl, V., Discontinuous Grammars, Computational Intell. 5:161-179 (1989).
5. Dahl, V. and Massicotte, P., Interpreting Static Discontinuity Grammars in Prolog, Appl. Math. Lett. 3 (1990).
6. Dahl, V. and Popowich, F., Parsing and Generation with Static Discontinuity Grammars, New Generation Computing 8:245-274 (1990).
7. De Paiva, V., A Dialectica Model of the Lambek Calculus, in: 8th Amsterdam Logic Colloquium, Amsterdam, Dec. 1991.
8. Gentzen, G., The Collected Papers of Gerhard Gentzen, M. E. Szabo (ed.), North-Holland, Amsterdam, 1969.
9. Girard, J. Y., Linear Logic, Theoretical Comput. Sci. 50:1-102 (1987).
10. Greibach, S. and Hopcroft, J., Scattered Context Grammars, J. Comput. Syst. Sci. 3:233-247 (1969).
11. Hepple, M., The Grammar and Processing of Order and Dependency: A Categorial Approach, Ph.D. thesis, University of Edinburgh, 1990.
12. Hodas, J., Specifying Filler-Gap Dependence Parsers in a Linear-Logic Programming Language, in: K. Apt (ed.), Proc. Joint Int. Conf. and Symp. on Logic Programming, 1992, pp. 622-636.
13. Hodas, J. and Miller, D., Logic Programming in a Fragment of Intuitionistic Linear Logic, in: Logic in Computer Science, Amsterdam, July 1991.
14. Korf, R. E., Depth-First Iterative Deepening: An Optimal Admissible Tree Search, Artificial Intell. 27(1) (Sept. 1985).
15. Kowalski, R., English as a Logic Programming Language, in: UK Association for Logic Programming Conf., Bristol, Mar. 1990.
16. Lambek, J., Categorial and Categorical Grammars, in: R. T. Oehrle, E. Bach, and D. Wheeler (eds.), Categorial Grammars and Natural Language Structures, vol. 32 of Studies in Linguistics and Philosophy, Reidel, Dordrecht, 1988.
17. Lloyd, J. W., Foundations of Logic Programming, Springer-Verlag, Berlin, 1984.
18. Miller, D., Personal communication, Nov. 1993.
19. Miller, D. A. and Nadathur, G., Higher-Order Logic Programming, in: Proc. Third Int. Logic Programming Conf., Imperial College, London, July 1986.
20. Morrill, G., Intensionality and Boundedness, Linguistics and Philosophy 13(6):699-726 (Dec. 1990).
21. Pereira, F., Extraposition Grammars, Amer. J. for Computational Linguistics 7:243-256 (1981).
22. Pereira, F. and Warren, D. H. D., Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Transition Networks, Artificial Intell. 13:231-278 (1980).
23. Read, S., Relevant Logic, Blackwell, Oxford, 1988.
24. Slaney, J., A General Logic, Australasian J. Philosophy 68(1):74-88 (Mar. 1990).
25. Sperber, D and Wilson, D., Relevance: Communication and Cognition, Harvard University Press, Cambridge, MA, 1986.
26. Troelstra, A. S., Lectures on Linear Logic, Number 29 in CSLI Lecture Notes, CSLI, Stanford, CA, 1992.
27. Yetter, D., Quantales and (Non-Commutative) Linear Logic, J. Symbolic Logic 55 (Mar. 1990).