Grammar specification in categorial logics and theorem proving

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1104, Issue , 1996, Pages 703-717

  Luz Filho, Saturnino F ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Applications (computational liguistics); Mechanisms (semantic tableaux)

Indexed keywords

AUTOMATION; BIOMINERALIZATION; CALCULATIONS; COMPUTATION THEORY; DIFFERENTIATION (CALCULUS); FORMAL LANGUAGES; NATURAL LANGUAGE PROCESSING SYSTEMS; SEMANTICS; SPECIFICATIONS;

AUTOMATED THEOREM PROVING; CATEGORIAL GRAMMAR; COMPUTATIONAL LIGUISTICS; DOMAIN-SPECIFIC KNOWLEDGE; LAMBEK CALCULUS; NATURAL LANGUAGE PROCESSING; PERFORMANCE BASED; SEMANTIC TABLEAU;

THEOREM PROVING;

EID: 84957692956     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61511-3_123     Document Type: Conference Paper

References (18)

1. H. Andreka and S. Mikulas. Lambek calculus and its relational semantics: completeness and incompleteness. Journal of Logic, Language and Information, 3(1):1- 37, 1994.
2. J. Barwise, D. Gabbay, and C. Hartonas. On the logic of information flow. Journal of the Interest Group in Pure and Applied Logic (IGPL), 3(1):7-50, 1995.
3. Johan van Benthem. The semantics of variety. In Wojciech Buszkowski, Witold Marciszewski, and Johan van Benthem, editors, Categorial Grammar, volume 25, chapter 6, pages 141-151. John Benjamins Publishing Company, Amsterdam, 1988.
4. S. A. Cook and R Reckhow. The relative efficiency of propositional proof systems. Journal of Symbolic Logic, pages 36-50, 1979.
5. Marcello D'Agostino and Dov Gabbay. A generalization of analytic deduction via labelled deductive systems I: Basic substructural logics. Journal of Automated Reasoning, 1994.
6. Marcello D'Agostino and Marco Mondadori. The taming of the cut. Journal of Logic and Computation, 4:285-319, 1994.
7. Nachum Dershowitz and Jean-Pierre Jouannaud. Rewrite systems. In Handbook of theoretical computer science, volume Vol.B Formal models and semantics, chapter 6, pages 245-320. The MIT Press: Cambridge, MA, 1990.
8. Melvin Fitting. First-order Logic and Automatic Theorem Proving. Texts and Monographs in Computer Science. Springer-Verlag, New York, 1990.
9. Dov M. Gabbay. LDS - Labelled Deductive Systems, volume 1 - foundations. Technical Report MPI-I-94-223, Max-Planck-Institut für Informatik, 1994.
10. Joachim Lambek. The mathematics of sentence structure. American Mathematical Monthly, 65:154-170, 1958.
11. Joachim Lambek. Categorial and categorical grammars. In Richard Oehrle et al., editor, Categorical Grammars and Natural Language Structures, pages 297-317. D. Reidel Publishing Company: Dordrecht, The Netherlands, 1988.
12. Joachim Lambek. Bilinear logic. In Advances in Linear Logic, London Mathematical Society, Lecture Note Series, pages 43-59. Cambridge University Press, 1995.
13. Saturnino F. Luz Filho and Patrick Sturt. A labelled deductive theorem proving environment for categorial grammar. In Proceedings of the IV International Workshop on Parsing Technologies, Prague, Czech Republic, September 1995. ACL/SIGPARSE.
14. Michael Moortgat. Categorial Investigations. Foris Publications, Dordrecht, 1988.
15. Michael Moortgat. Labelled deductive systems for categorial theorem proving. Technical Report OTS-WP-CL-92-003, OTS, Utrecht, NL, 1992.
16. Glyn Morrill. Clausal proofs and discontinuity. Journal of the Interest Group in Pure and Applied Logic (IGPL), 3(2), 1995. Special Issue on Deduction and Language.
17. Raymond M Smullyan. First-Order Logic, volume 43 of Ergebnisse der Mathematik und ihrer Grenzgebiete. Springer-Verlag, Berlin, 1968.
18. Wojciech Zielonka. Axiomatizability of ajdukiewicz-lambek calculus by means of cancellation schemes. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik, pages 215-224, 1981.