{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:46Z","timestamp":1725664246394},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615118"},{"type":"electronic","value":"9783540686873"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61511-3_123","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:51:27Z","timestamp":1330293087000},"page":"703-717","source":"Crossref","is-referenced-by-count":1,"title":["Grammar specification in categorial logics and theorem proving"],"prefix":"10.1007","author":[{"given":"Saturnino F","family":"Luz-Filho","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"issue":"1","key":"60_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01066355","volume":"3","author":"H. Andreka","year":"1994","unstructured":"H. Andreka and S. Mikulas. Lambek calculus and its relational semantics: completeness and incompleteness. Journal of Logic, Language and Information, 3(1):1\u201337, 1994.","journal-title":"Journal of Logic, Language and Information"},{"issue":"1","key":"60_CR2","first-page":"7","volume":"3","author":"J. Barwise","year":"1995","unstructured":"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\u201350, 1995.","journal-title":"Journal of the Interest Group in Pure and Applied Logic (IGPL)"},{"key":"60_CR3","first-page":"141","volume-title":"Categorial Grammar, volume 25","author":"J. Benthem van","year":"1988","unstructured":"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\u2013151. John Benjamins Publishing Company, Amsterdam, 1988."},{"doi-asserted-by":"crossref","unstructured":"S. A. Cook and R Reckhow. The relative efficiency of propositional proof systems. Journal of Symbolic Logic, pages 36\u201350, 1979.","key":"60_CR4","DOI":"10.2307\/2273702"},{"doi-asserted-by":"crossref","unstructured":"Marcello D'Agostino and Dov Gabbay. A generalization of analytic deduction via labelled deductive systems I: Basic substructural logics. Journal of Automated Reasoning, 1994.","key":"60_CR5","DOI":"10.1007\/BF00881958"},{"key":"60_CR6","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1093\/logcom\/4.3.285","volume":"4","author":"M. D'Agostino","year":"1994","unstructured":"Marcello D'Agostino and Marco Mondadori. The taming of the cut. Journal of Logic and Computation, 4:285\u2013319, 1994.","journal-title":"Journal of Logic and Computation"},{"key":"60_CR7","series-title":"volume Vol.B Formal models and semantics","first-page":"245","volume-title":"Handbook of theoretical computer science","author":"N. Dershowitz","year":"1990","unstructured":"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\u2013320. The MIT Press: Cambridge, MA, 1990."},{"key":"60_CR8","volume-title":"Texts and Monographs in Computer Science","author":"M. Fitting","year":"1990","unstructured":"Melvin Fitting. First-order Logic and Automatic Theorem Proving. Texts and Monographs in Computer Science. Springer-Verlag, New York, 1990."},{"unstructured":"Dov M. Gabbay. LDS \u2014 Labelled Deductive Systems, volume 1 \u2014 foundations. Technical Report MPI-I-94-223, Max-Planck-Institut f\u00fcr Informatik, 1994.","key":"60_CR9"},{"key":"60_CR10","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1080\/00029890.1958.11989160","volume":"65","author":"J. Lambek","year":"1958","unstructured":"Joachim Lambek. The mathematics of sentence structure. American Mathematical Monthly, 65:154\u2013170, 1958.","journal-title":"American Mathematical Monthly"},{"key":"60_CR11","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/978-94-015-6878-4_11","volume-title":"Categorical Grammars and Natural Language Structures","author":"J. Lambek","year":"1988","unstructured":"Joachim Lambek. Categorial and categorical grammars. In Richard Oehrle et al., editor, Categorical Grammars and Natural Language Structures, pages 297\u2013317. D. Reidel Publishing Company: Dordrecht, The Netherlands, 1988."},{"doi-asserted-by":"crossref","unstructured":"Joachim Lambek. Bilinear logic. In Advances in Linear Logic, London Mathematical Society, Lecture Note Series, pages 43\u201359. Cambridge University Press, 1995.","key":"60_CR12","DOI":"10.1017\/CBO9780511629150.003"},{"key":"60_CR13","volume-title":"A labelled deductive theorem proving environment for categorial grammar","author":"S. F. L. Filho","year":"1995","unstructured":"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."},{"key":"60_CR14","doi-asserted-by":"crossref","DOI":"10.1515\/9783112329580","volume-title":"Categorial Investigations","author":"M. Moortgat","year":"1988","unstructured":"Michael Moortgat. Categorial Investigations. Foris Publications, Dordrecht, 1988."},{"key":"60_CR15","volume-title":"Technical Report OTS-WP-CL-92-003","author":"M. Moortgat","year":"1992","unstructured":"Michael Moortgat. Labelled deductive systems for categorial theorem proving. Technical Report OTS-WP-CL-92-003, OTS, Utrecht, NL, 1992."},{"doi-asserted-by":"crossref","unstructured":"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.","key":"60_CR16","DOI":"10.1093\/jigpal\/3.2-3.403"},{"key":"60_CR17","volume-title":"volume 43 of Ergebnisse der Mathematik und ihrer Grenzgebiete","author":"R. M. Smullyan","year":"1968","unstructured":"Raymond M Smullyan. First-Order Logic, volume 43 of Ergebnisse der Mathematik und ihrer Grenzgebiete. Springer-Verlag, Berlin, 1968."},{"doi-asserted-by":"crossref","unstructured":"Wojciech Zielonka. Axiomatizability of ajdukiewicz-lambek calculus by means of cancellation schemes. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik, pages 215\u2013224, 1981.","key":"60_CR18","DOI":"10.1002\/malq.19810271306"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2014 Cade-13"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61511-3_123.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T19:13:09Z","timestamp":1687288389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61511-3_123"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615118","9783540686873"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-61511-3_123","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}