{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:23:31Z","timestamp":1725488611583},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540424871"},{"type":"electronic","value":"9783540446699"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44669-9_11","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T06:32:26Z","timestamp":1186727546000},"page":"94-105","source":"Crossref","is-referenced-by-count":1,"title":["Are There Essentially Incomplete Knowledge Representation Systems?"],"prefix":"10.1007","author":[{"given":"J\u0101nis","family":"C\u012brulis","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,2]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1017\/S0004972700024412","volume":"13","author":"M. Arbib","year":"1975","unstructured":"Arbib, M., Manes, E.: Fuzzy machines in category. Bull. Austral. Math. Soc. 13 (1975), 169\u2013210.","journal-title":"Bull. Austral. Math. Soc."},{"key":"11_CR2","first-page":"3","volume":"58","author":"D.A. Archangelsky","year":"1997","unstructured":"Archangelsky, D.A., Taitslin, M.A.: A logic for information systems. Stud. Log. 58 (1997), 3\u201316.","journal-title":"A logic for information systems. Stud. Log."},{"key":"11_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/3-540-48340-3_27","volume-title":"MFCS\u201999","author":"J. C\u012brulis","year":"1999","unstructured":"C\u012brulis, J.: An algebraic approach to knowledge representation. MFCS\u201999, LNCS 1672 (1999), 299\u2013309."},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"753","DOI":"10.1007\/BF02085960","volume":"22","author":"D. Finkelstein","year":"1983","unstructured":"Finkelstein, D., Finkelstein, S.R.: Computational Complementarity. Internat. J. Theoret. Phys. 22 (1983), 753\u2013779.","journal-title":"Internat. J. Theoret. Phys."},{"key":"11_CR5","volume-title":"Uncertainty models for knowledge based systems","author":"I.R. Goodman","year":"1985","unstructured":"Goodman, I.R., Nguyen, H.T.: Uncertainty models for knowledge based systems. North-Holland, Amsterdam e.a., 1985."},{"key":"11_CR6","volume-title":"Categories for the Working Mathematician","author":"S. Lane Mac","year":"1971","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. Springer-Verlag, N.Y. e.a., 1971."},{"doi-asserted-by":"crossref","unstructured":"Manes, E.G.: Review of \u201cFuzzy Sets and Systems: Theory and Applications\u201d, by D. Dubois and H. Prade, Acad. Press, 1980. Bull. Amer. Math. Soc. 7 (1982), 603\u2013612.","key":"11_CR7","DOI":"10.1090\/S0273-0979-1982-15067-4"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1016\/0022-247X(82)90010-5","volume":"85","author":"E.G. Manes","year":"1982","unstructured":"Manes, E.G.: A class of fuzzy theories. Math. Anal. Appl. 85 (1982), 409\u2013451.","journal-title":"Math. Anal. Appl."},{"key":"11_CR9","first-page":"77","volume":"23","author":"J. Madner","year":"1987","unstructured":"Madner, J.: Standard monads. Arch. Math. (Brno) 23 (1987), 77\u201388.","journal-title":"Arch. Math. (Brno)"},{"doi-asserted-by":"crossref","unstructured":"Moore, E,F.: Gedanken-experiments on sequential machines. In: Shannon, C.E., McCharty, J. (eds): Automata Studies, Princeton Univ. Press, 1956, 129\u2013156.","key":"11_CR10","DOI":"10.1515\/9781400882618-006"},{"unstructured":"van Oosten, J.: Basic Category Theory. BRICS Lecture Series LS-95-1, Univ. of Aarhus, 1995.","key":"11_CR11"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0304-3975(84)90010-0","volume":"29","author":"E. Or\u0142ovska","year":"1984","unstructured":"Or\u0142ovska, E., Pawlak, Z.: Representation of nondeterministic information. Theoret. Comput. Sci. 29 (1984), 27\u201339.","journal-title":"Theoret. Comput. Sci."},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0306-4379(81)90023-5","volume":"6","author":"Z. Pawlak","year":"1981","unstructured":"Pawlak, Z.: Information systems \u2014 theoretical foundations. Inform. Systems 6 (1981), 205\u2013218.","journal-title":"Inform. Systems"},{"key":"11_CR14","first-page":"663","volume":"37","author":"J.A. Pomyka\u0142a","year":"1991","unstructured":"Pomyka\u0142a, J.A., de Haas, E.: A note on categories of information systems. Demonstr. Math. 37, (1991) 663\u2013671.","journal-title":"Demonstr. Math."},{"key":"11_CR15","first-page":"416","volume-title":"Handbook of Logic in Computer Science","author":"A. Poign\u00e9","year":"1992","unstructured":"Poign\u00e9, A.: Basic category theory. In: Handbook of Logic in Computer Science, Vol. 1. Clarendon Press, Oxford, 1992, 416\u2013640."},{"key":"11_CR16","volume-title":"Abstrakte Automaten","author":"P.H. Starke","year":"1969","unstructured":"Starke, P.H.: Abstrakte Automaten. WEB Deutscher Verl. Wissensch., Berlin, 1969."},{"unstructured":"Svozil, K.: Quantum Logic. Springer-Verlag Singapore Pte. Ltd., 1998.","key":"11_CR17"},{"key":"11_CR18","first-page":"146","volume-title":"Algebra i Diskretnaya Matematika","author":"Ya.P. Tsirulis","year":"1984","unstructured":"Tsirulis, Ya.P.: Variations on the theme of quantum logic (in Russian). In: Algebra i Diskretnaya Matematika, Latv. State Univ., Riga, 1984, 146\u2013158."}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44669-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T04:26:17Z","timestamp":1550723177000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44669-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424871","9783540446699"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-44669-9_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}