{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:43:32Z","timestamp":1749725012652},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1996,10,1]],"date-time":"1996-10-01T00:00:00Z","timestamp":844128000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Lang Inf"],"published-print":{"date-parts":[[1996,10]]},"DOI":"10.1007\/bf00159345","type":"journal-article","created":{"date-parts":[[2004,11,6]],"date-time":"2004-11-06T08:55:48Z","timestamp":1099731348000},"page":"387-422","source":"Crossref","is-referenced-by-count":5,"title":["Fibred semantics for feature-based grammar logic"],"prefix":"10.1007","volume":"5","author":[{"given":"Jochen","family":"D\ufffdrre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Esther","family":"K\ufffdnig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dov","family":"Gabbay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","series-title":"Synthese Language Library","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-94-015-8242-1_2","volume-title":"Diamonds and Defaults","author":"P. Blackburn","year":"1993","unstructured":"Blackburn, P., 1993, ?Modal logic and attribute value structures,? in Diamonds and Defaults, M. de Rijke, ed., vol. 229 in Synthese Language Library, Dordrecht: Kluwer Academic Publishers, pp. 19?65."},{"key":"CR2","first-page":"1","volume-title":"Constraints, Language and Computation","author":"P. Blackburn","year":"1994","unstructured":"Blackburn, P., 1994, ?The structural approach to feature logic,? pp. 1?27 in Constraints, Language and Computation, C.J. Rupp, M.A. Rosner, and R.L. Johnson, eds., London: Academic Press."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Blackburn, P., Gardent, C., and Meyer-Viol, W., 1993, ?Talking about trees,? pp. 21?29 in Proceedings of the 6th Conference of the European Chapter of the Association for Computational Linguistics, Utrecht, 1993.","DOI":"10.3115\/976744.976748"},{"issue":"1","key":"CR4","first-page":"3","volume":"2","author":"P. Blackburn","year":"1994","unstructured":"Blackburn, P. and Meyer-Viol, W., 1994, ?Linguistics, logic and finite trees,? Bulletin of the Interest Group in Pure and Applied Logics 2(1), 3?29.","journal-title":"Bulletin of the Interest Group in Pure and Applied Logics"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BF01050635","volume":"2","author":"P. Blackburn","year":"1993","unstructured":"Blackburn, P. and Spaan, E., 1993, ?A modal perspective on the computational complexity of attribute value grammar,? Journal of Logic, Language and Information 2, 129?169.","journal-title":"Journal of Logic, Language and Information"},{"key":"CR6","unstructured":"Bouma, G., 1993, Nonmonotonicity and Categorial Unification Grammar. PhD Thesis, Rijksuniversiteit Groningen, Groningen, The Netherlands."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1002\/malq.19820281407","volume":"28","author":"W. Buszkowski","year":"1982","unstructured":"Buszkowski, W., 1982, ?Compatibility of a categorial grammar with an associated category system,? Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 28, 229?237.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1002\/malq.19860320104","volume":"32","author":"W. Buszkowski","year":"1986","unstructured":"Buszkowski, W., 1986 ?Completeness results for Lambek syntactic calculus,? Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 32, 13?28.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"CR9","unstructured":"D\u00f6rre, J., 1993 Feature-Logik und Semiunifikation. Dissertation, Institut f\u00fcr maschinelle Sprachverarbeitung, Azenbergstr. 12, D-70174 Stuttgart, Germany. In German. Prepublished as Technical Report 48, Sonderforschungsbereich 340."},{"key":"CR10","unstructured":"D\u00f6rre, J. and Dorna, M., 1993, CUF-a formalism for linguistic knowledge representation. Deliverable R.1.2A, DYANA 2."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1016\/S0747-7171(08)80107-1","volume":"13","author":"J. D\u00f6rre","year":"1992","unstructured":"D\u00f6rre, J. and Rounds, W.C., 1992, ?On Subsumption and Semi-Unification in Feature Algebras,? Journal of Symbolic Computation 13, 441?461.","journal-title":"Journal of Symbolic Computation"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1002\/malq.19850311405","volume":"31","author":"K. Do?en","year":"1985","unstructured":"Do?en, K., 1985, ?A completeness theorem for the Lambek calculus of syntactic categories,? Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 31, 235?241.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1002\/malq.19920380113","volume":"38","author":"K. Do?en","year":"1992","unstructured":"Do?en, K., 1992, ?A brief survey of frames for the Lambek calculus,? Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 38, 179?187. Preprint: Konstanzer Berichte, Logik und Wissenschaftstheorie, May 1990.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"issue":"3","key":"CR14","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00156915","volume":"1","author":"M. Finger","year":"1992","unstructured":"Finger, M. and Gabbay, D.M., 1992 ?Adding a temporal dimension to a logic system,? Journal of Logic, Language and Information 1(3), 203?233.","journal-title":"Journal of Logic, Language and Information"},{"key":"CR15","series-title":"Technical Report MPI-I-94-223","volume-title":"Labelled deductive systems, Vol. 1","author":"D.M. Gabbay","year":"1994","unstructured":"Gabbay, D.M., Labelled deductive systems, Vol. 1 (3rd intermediate draft). Technical Report MPI-I-94?223, Max-Planck-Institut, Saarbr\u00fccken, Germany, 1994. 1st draft Manuscript 1989; 2nd intermediate draft, CIS-Bericht 90?22, CIS, University of Munich, 1990; Oxford University Press, to appear."},{"key":"CR16","volume-title":"Computers and Intractability ? A Guide to the Theory of NP-Completeness","author":"M.R. Garey","year":"1979","unstructured":"Garey, M.R. and Johnson, D.S., 1979, Computers and Intractability ? A Guide to the Theory of NP-Completeness, San Francisco, CA: Freeman."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y., 1987, ?Linear logic,? Theoretical Computer Science 50, 1?102.","journal-title":"Theoretical Computer Science"},{"key":"CR18","series-title":"LILOG-Report","volume-title":"Definite relations over constraint languages","author":"M. H\u00f6hfeld","year":"1988","unstructured":"H\u00f6hfeld, M. and Smolka, G., 1988, Definite relations over constraint languages. LILOG-Report 53, IBM Deutschland, Stuttgart, Baden-W\u00fcrttemberg."},{"key":"CR19","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J.E Hopcroft","year":"1979","unstructured":"Hopcroft, J.E and Ullman, J.D., 1979, Introduction to Automata Theory, Languages, and Computation, Reading, MA: Addison-Wesley."},{"key":"CR20","first-page":"173","volume-title":"The Mental Representation of Grammatical Relations","author":"R.M. Kaplan","year":"1982","unstructured":"Kaplan, R.M. and Bresnan, J., 1982, ?Lexical-Functional Grammar: A formal system for grammatical representation,? pp. 173?281 in The Mental Representation of Grammatical Relations, Joan Bresnan, ed., Cambridge, MA: MIT Press."},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"Kasper, R.T. and Rounds, W.C., 1986, ?A logical semantics for feature structures,? pp. 257?265 in Proceedings of the 24th Annual Meeting of the ACL, Columbia University, New York, N.Y.","DOI":"10.3115\/981131.981166"},{"key":"CR22","first-page":"233","volume-title":"Natural Language Understanding and Logic Programming","author":"M. Kay","year":"1985","unstructured":"Kay, M., 1985, ?Unification in grammar,? pp. 233?241 in Natural Language Understanding and Logic Programming, V. Dahl and P. Saint-Dizier, eds., Amsterdam: Elsevier Science Publishers (North Holland)."},{"key":"CR23","unstructured":"K\u00f6nig, E., 1994 Lambek categorial grammars are context-free. Manuscript, Institut f\u00fcr Maschinelle Sprachverarbeitung, Universit\u00e4t Stuttgart."},{"key":"CR24","unstructured":"K\u00f6nig, E., 1994, A study in grammar design. Arbeitspapier 54 des Sonderforschungsbereich 340, Institut f\u00fcr Maschinelle Sprachverarbeitung, Universit\u00e4t Stuttgart."},{"key":"CR25","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1080\/00029890.1958.11989160","volume":"65","author":"J. Lambek","year":"1958","unstructured":"Lambek, J., 1958, ?The mathematics of sentence structure,? American Mathematical Monthly 65, 154?170. Reprinted in: Buszkowski, W., Marciszewski, W., and van Benthem, J. (eds.), 1988, Categorial Grammar, Amsterdam: John Benjamins.","journal-title":"American Mathematical Monthly"},{"key":"CR26","volume-title":"Proceedings of the Tilburg Symposium on Discontinuous Constituency","author":"M. Moortgat","year":"1992","unstructured":"Moortgat, M., 1992, ?Generalized quantifiers and discontinuous type constructors,? in Proceedings of the Tilburg Symposium on Discontinuous Constituency, W. Sijtsma and A. van Horck, eds., The Hague: Mouton de Gruyter."},{"key":"CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-1042-6","volume-title":"Type Logical Grammar: Categorial Logic of Signs","author":"G. Morrill","year":"1994","unstructured":"Morrill, G., 1994, Type Logical Grammar: Categorial Logic of Signs, Dordrecht: Kluwer Academic Publishers."},{"key":"CR28","unstructured":"Pentus, M., 1994, ?Language completeness of the Lambek calculus,? in Proceedings of Logic in Computer Science, Paris."},{"key":"CR29","doi-asserted-by":"crossref","unstructured":"Pereira, F.C.N. and Shieber, S.M., 1984, ?The semantics of grammar formalisms seen as computer languages,? pp. 123?129 in Proceedings. of the 22nd Annual Meeting of the Association for Computational Linguistics, Stanford, CA.","DOI":"10.3115\/980491.980518"},{"key":"CR30","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(80)90003-X","volume":"13","author":"F.C.N. Pereira","year":"1980","unstructured":"Pereira, F.C.N. and Warren, D.H.D., 1980, ?Definite clause grammars for language analysis?A survey of the formalism and a comparison with augmented transition networks,? Artificial Intelligence 13, 231?278.","journal-title":"Artificial Intelligence"},{"key":"CR31","volume-title":"Natural Deduction","author":"D. Prawitz","year":"1965","unstructured":"Prawitz, D., 1965, Natural Deduction, Uppsala: Alqvist and Wiksell."},{"issue":"2","key":"CR32","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1093\/jos\/10.2.123","volume":"10","author":"U. Reyle","year":"1993","unstructured":"Reyle, U., 1993, ?Dealing with ambiguities by underspecification: Construction, representation, and deduction,? Journal of Semantics 10(2), 123?179.","journal-title":"Journal of Semantics"},{"key":"CR33","volume-title":"Research on Interactive Acquisition and Use of Knowledge","author":"S. Shieber","year":"1983","unstructured":"Shieber, S., Uszkoreit, H., Pereira, F., Robinson, J., and Tyson, M., 1983, ?The formalism and implementation of PATR-II,? in Research on Interactive Acquisition and Use of Knowledge, B. Grosz and M.E. Stickel, eds., Menlo Park, CA: Stanford Research Institute International."},{"key":"CR34","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0743-1066(92)90039-6","volume":"12","author":"G. Smolka","year":"1992","unstructured":"Smolka, G., 1992, ?Feature constraint logics for unification grammars,? The Journal of Logic Programming 12, 51?87.","journal-title":"The Journal of Logic Programming"},{"key":"CR35","doi-asserted-by":"crossref","unstructured":"Uszkoreit, H., 1986, ?Categorical Unification Grammar,? pp. 187?194 in Proceedings of the 11th International Conference on Computational Linguistics, Bonn, Germany.","DOI":"10.3115\/991365.991422"},{"key":"CR36","doi-asserted-by":"crossref","unstructured":"Versmissen, K., 1993, ?Categorial grammar, modalities and algebraic semantics,? pp. 377?383 in Proceedings of the 6th Conference of the European Association of Computational Linguistics, Utrecht, The Netherlands.","DOI":"10.3115\/976744.976788"},{"issue":"4","key":"CR37","first-page":"481","volume":"18","author":"K. Vijay-Shanker","year":"1992","unstructured":"Vijay-Shanker, K., 1992, ?Using descriptions of trees in a Tree Adjoining Grammar,? Computational Linguistics 18(4), 481?517.","journal-title":"Computational Linguistics"},{"issue":"1","key":"CR38","doi-asserted-by":"crossref","first-page":"41","DOI":"10.2307\/2274953","volume":"55","author":"D.N. Yetter","year":"1990","unstructured":"Yetter, D.N., 1990. ?Quantales and (noncommutative) Linear Logic,? Journal of Symbolic Logic 55(1): 41?64.","journal-title":"Journal of Symbolic Logic"},{"key":"CR39","unstructured":"Zeevat, H., Klein, E., and Calder, J., 1987, ?An introduction to Unification Categorial Grammar,? pp. 195?222 in Categorial Grammar, Unification Grammar, and Parsing, N.J. Haddock, E. Klein, and G. Morrill, eds., Edinburgh Working Papers in Cognitive Science 1, Centre for Cognitive Science, University of Edinburgh."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00159345.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00159345\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00159345","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T20:53:57Z","timestamp":1585947237000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00159345"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,10]]},"references-count":39,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1996,10]]}},"alternative-id":["BF00159345"],"URL":"https:\/\/doi.org\/10.1007\/bf00159345","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,10]]}}}