{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T22:10:28Z","timestamp":1713996628682},"reference-count":11,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1993,1]]},"DOI":"10.1080\/11663081.1993.10510807","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T07:54:25Z","timestamp":1338364465000},"page":"189-203","source":"Crossref","is-referenced-by-count":12,"title":["A knowledge representation based on the Belnap's four-valued logic"],"prefix":"10.1080","volume":"3","author":[{"given":"Yuri","family":"Kaluzhny","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexei Yu.","family":"Muravitsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","unstructured":"Belnap, N. D. 1975. Edited by: Dunn, J. M. and Epstein, G. 9\u201337. D. Reidel. A useful four-valued logic. In: Modern Uses of Multiple-Valued Logic (Proc. of the 5th Inter. Symp. on Muliple-Valued Logic, Indiana University) (Also in: Entailment: the Logic of Relevance and Necessity, Vol. 2 (A.R. Anderson, N.D. Belnap, Jr., J.M. Dunn), Princeton University Press, Princeton, 1992"},{"key":"CIT0002","unstructured":"Belnap, N. D. 1975. \u201cHow a computer should think. In: Contemporary Aspects of Philosophy (Proc. of the Oxford Inter. Symp.\u201d. Edited by: Ryle, G. Vol. 1976, 30\u201356. Oriel Press. (Also in: Entailment: the Logic of Relevance and Necessity, Vol. 2 (A.R. Anderson, N.D. Belnap, Jr., J.M. Dunn), Princeton University Press, Princeton, 1992"},{"key":"CIT0003","unstructured":"Birkhoff, G. 1967. \u201cLattice Theory. 3rd edition. Providence, R.I.\u201d."},{"key":"CIT0004","doi-asserted-by":"crossref","unstructured":"Burris, S. and Sankappanavar, H. P. 1981. \u201cA Course in Universal Algebra. Springer-Verlag\u201d.","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"CIT0005","doi-asserted-by":"crossref","unstructured":"Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M. and Scott, D. S. 1980. \u201cA Compendium of Continuous Lattices. Springer-Verlag\u201d.","DOI":"10.1007\/978-3-642-67678-9"},{"key":"CIT0006","doi-asserted-by":"crossref","unstructured":"Ginsberg, M. L. 1987. Edited by: Ginsberg, M. I. 1\u201323. Introduction. In: Readings in Nonmonotonic Reasoning","DOI":"10.1093\/oso\/9780198537472.003.0001"},{"key":"CIT0007","first-page":"251","volume-title":"Readings in Nonmonotonic Reasoning","author":"Ginsberg M. I.","year":"1987"},{"key":"CIT0008","first-page":"463","volume-title":"Machine Intelligence 4","author":"McCarthy J.","year":"1969"},{"key":"CIT0009","unstructured":"Rescher, N. and Brandom, R. 1979. \u201cThe Logic of Inconsistency. Rowman & Littlefield, Totowa\u201d."},{"key":"CIT0010","unstructured":"Scott, D. S. 1971. \u201cOutline of a mathematical theory of computation. Proc. of the Princeton Conf. on Information Science\u201d."},{"key":"CIT0011","unstructured":"Scott, D. S. 1972. \u201cContinuous Lattices, Toposes, Algebraic Geometry and Logic. Lecture Notes in Mathematics, Vol. 274, Springer-Verlag\u201d. 97\u2013136."}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T21:31:25Z","timestamp":1713994285000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1993.10510807"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,1]]},"references-count":11,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,1]]}},"alternative-id":["10.1080\/11663081.1993.10510807"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1993.10510807","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,1]]}}}