{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:16:23Z","timestamp":1725520583667},"publisher-location":"Dordrecht","reference-count":20,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9781402090837"},{"type":"electronic","value":"9781402090844"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-9084-4_8","type":"book-chapter","created":{"date-parts":[[2008,11,7]],"date-time":"2008-11-07T12:51:27Z","timestamp":1226062287000},"page":"165-186","source":"Crossref","is-referenced-by-count":5,"title":["Processing Information from a Set of Sources"],"prefix":"10.1007","author":[{"given":"Arnon","family":"Avron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Ben-Naim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beata","family":"Konikowska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/BF01471125","volume":"149","author":"A.R. Anderson","year":"1963","unstructured":"Anderson, A.R., Belnap, N.D., \u2018First degree entailments\u2019, Mathematische Annalen, 149: 302\u2013319, 1963.","journal-title":"Mathematische Annalen"},{"key":"8_CR2","volume-title":"Entailment, vol. 1","author":"A.R. Anderson","year":"1975","unstructured":"Anderson, A.R., Belnap, N.D., Entailment, vol. 1, Princeton University Press, Princeton NJ, 1975."},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"276","DOI":"10.2307\/2274919","volume":"56","author":"A. Avron","year":"1991","unstructured":"Avron, A., \u2018Natural 3-valued logics: Characterization and proof theory\u2019, The Journal of Symbolic Logic, 56: 276\u2013294, 1991.","journal-title":"The Journal of Symbolic Logic"},{"key":"8_CR4","first-page":"105","volume-title":"We Will Show Them: Essays in Honor of Dov Gabbay, vol. 1","author":"A. Avron","year":"2005","unstructured":"Avron, A., \u2018Logical Non-determinism as a tool for logical modularity: an introduction\u2019, in Artemov, S., Barringer, H., d\u2019Avila Garcez, A.S., Lamb, L.C., Woods, J. (eds.), We Will Show Them: Essays in Honor of Dov Gabbay, vol. 1, College Publications, Ithaca, NY, 2005, pp.\u00a0105\u2013124."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Avron, A., Lev, I., \u2018Canonical propositional Gentzen-type systems\u2019, in Gor\u00e9, R., Leitsch, A., Nipkow, T., Proceedings of the 1st International Joint Conference on Automated Reasoning (IJCAR 2001), LNAI, vol.\u00a02083, Springer Verlag, 2001, pp.\u00a0529\u2013544.","DOI":"10.1007\/3-540-45744-5_45"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1093\/logcom\/exi001","volume":"15","author":"A. Avron","year":"2005","unstructured":"Avron, A., Lev, I., \u2018Non-deterministic multiple-valued structures\u2019, Journal of Logic and Computation, 15: 241\u2013261, 2005.","journal-title":"Journal of Logic and Computation"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s11787-006-0003-6","volume":"1","author":"A. Avron","year":"2006","unstructured":"Avron, A., Ben-Naim, J., Konikowska, B., \u2018Cut-free ordinary sequent calculi for logics having finite-valued semantics\u2019, Logica Universalis, 1: 41\u201369, 2006.","journal-title":"Logica Universalis"},{"key":"8_CR8","first-page":"30","volume-title":"Contemporary Aspects of Philosophy","author":"N.D. Belnap","year":"1977","unstructured":"Belnap, N.D., \u2018How computers should think\u2019, in Rylem, G. (ed.), Contemporary Aspects of Philosophy, Oriel Press, Stocksfield, England, 1977, pp. 30\u201356."},{"key":"8_CR9","first-page":"7","volume-title":"Modern Uses of Multiple-Valued Logic","author":"N.D. Belnap","year":"1977","unstructured":"Belnap, N.D., \u2018A useful four-valued logic\u2019, in Epstein, G., Dunn, J.M., Modern Uses of Multiple-Valued Logic, Reidel, Dordrecht, 1977, pp. 7\u201337."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Carnielli, W.A., Lima-Marques, M., \u2018Society semantics for multiple-valued logics\u2019, in Carnielli, Walter A., D\u2019Ottaviano, Itala M.L. (eds.), Proceedings of the XII EBL\u2014Advances in Contemporary Logic and Computer Science, American Mathematical Society, Series Contemporary Mathematics, vol.\u00a0235, 1999, pp.\u00a033\u201352.","DOI":"10.1090\/conm\/235\/03464"},{"key":"8_CR11","doi-asserted-by":"crossref","first-page":"115","DOI":"10.12775\/LLP.2000.008","volume":"8","author":"W.A. Carnielli","year":"2000","unstructured":"Carnielli, W.A., Marcos, J., de Amo, S., \u2018Formal inconsistency and evolutionary databases\u2019, Logic and Logical Philosophy, 8: 115\u2013152, 2000.","journal-title":"Logic and Logical Philosophy"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"J.M. Dunn","year":"1976","unstructured":"Dunn, J.M., \u2018Intuitive semantics for first degree entailments and \u201ccoupled trees''', Philosophical Studies, 29: 149\u2013168, 1976.","journal-title":"Philosophical Studies"},{"key":"8_CR13","unstructured":"Dunn, J.M., \u2018Relevant logic and entailment\u2019, Handbook of Philosophical Logic, vol. III, Gabbay, D., Guenthner, F. (eds.), 1984."},{"key":"8_CR14","unstructured":"Epstein, R.L., The semantic foundation of logic, 2nd ed., vol. I: Propositional Logics, ch. IX, Kluwer Academic Publisher, 1995."},{"key":"8_CR15","doi-asserted-by":"crossref","first-page":"113","DOI":"10.3233\/FI-1994-201234","volume":"20","author":"M. Fitting","year":"1994","unstructured":"Fitting, M., \u2018Kleene\u2019s three-valued logics and their children\u2019, Fundamenta Informaticae, 20: 113\u2013131, 1994.","journal-title":"Fundamenta Informaticae"},{"key":"8_CR16","first-page":"256","volume":"4","author":"M.L. Ginsberg","year":"1988","unstructured":"Ginsberg, M.L., \u2018Multivalued logics: A uniform approach to reasoning in AI\u2019, Computer Intelligence, 4: 256\u2013316, 1988.","journal-title":"Computer Intelligence"},{"key":"8_CR17","first-page":"1349","volume":"270","author":"I.L.M. D\u2019Ottaviano","year":"1970","unstructured":"D\u2019Ottaviano, I.L.M., da Costa, N.C.A., \u2018Sur un probl\u00e8me de Ja\u015bkowski\u2019, Comptes Rendus de l\u2019Acad\u00e9mie des Sciences de Paris, 270: 1349\u20131353, 1970.","journal-title":"Comptes Rendus de l\u2019Acad\u00e9mie des Sciences de Paris"},{"key":"8_CR18","first-page":"31","volume":"XIX","author":"I.L.M. D\u2019Ottaviano","year":"1985","unstructured":"D\u2019Ottaviano, I.L.M., \u2018The completeness and compactness of a three-valued first-order logic\u2019, Revista Colombiana de Matematicas, XIX: 31\u201342, 1985.","journal-title":"Revista Colombiana de Matematicas"},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s10992-005-0556-5","volume":"34","author":"Y. Shramko","year":"2005","unstructured":"Shramko, Y., Wansing, H., \u2018Some useful 16-valued logics. How a computer network should think\u2019, Journal of Philosophical Logic, 34: 121\u2013153, 2005.","journal-title":"Journal of Philosophical Logic"},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/s10849-006-9015-0","volume":"15","author":"Y. Shramko","year":"2006","unstructured":"Shramko, Y., Wansing, H., \u2018Hyper-contradictions, generalized truth values, and logics of truth and falsehood\u2019, Journal of Logic, Language and Information, 15: 403\u2013424, 2006.","journal-title":"Journal of Logic, Language and Information"}],"container-title":["Towards Mathematical Philosophy"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-9084-4_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T22:25:43Z","timestamp":1605651943000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-9084-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781402090837","9781402090844"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-9084-4_8","relation":{},"subject":[]}}