{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T03:17:54Z","timestamp":1773717474986,"version":"3.50.1"},"reference-count":16,"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":[[1995,1]]},"DOI":"10.1080\/11663081.1995.10510855","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T08:09:21Z","timestamp":1338365361000},"page":"199-217","source":"Crossref","is-referenced-by-count":36,"title":["A propositional logic with 4 values: true, false, divergent and meaningless"],"prefix":"10.1080","volume":"5","author":[{"given":"Jan A.","family":"Bergstra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Inge","family":"Bethke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piet","family":"Rodenburg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2214285","volume":"4","author":"Belnap N. D.","year":"1970","journal-title":"No\u00fbs"},{"key":"CIT0002","first-page":"8","volume-title":"Modern Uses of Multiple-Valued Logic","author":"Belnap N. D.","year":"1977"},{"key":"CIT0003","doi-asserted-by":"crossref","first-page":"764","DOI":"10.1090\/S0002-9904-1944-08235-9","volume":"50","author":"Birkhoff G.","year":"1944","journal-title":"Bull. Amer. Math. Soc."},{"key":"CIT0004","volume-title":"VDM '88. VDM\u2014The way ahead, Lecture Notes in Computer Science 328, 243\u2013266, Springer-Verlag, Berlin","author":"Blikle A.","year":"1988"},{"key":"CIT0005","first-page":"287","volume":"4","author":"Bochvar D. A.","year":"1939","journal-title":"Mat\u00e9mati\u010deskij sbornik"},{"key":"CIT0006","volume-title":"Issledovanija po teorii mno\u017eestv i neklassi\u010deskim logikam. Sbornik trudov (Studies in set theory and nonclassical logics. Work collection), 265\u2013325, Moscow","author":"Bochvaar D. A.","year":"1976"},{"key":"CIT0007","unstructured":"Bergstra, J. A. and Heering, J. 1989. \u201cWhich data types have \u03c9-complete initial algebra specifications? Report CS-R8958, CWI, Amsterdam\u201d."},{"key":"CIT0008","volume-title":"The logic of significance and context. Volume One.","author":"Goddard L.","year":"1973"},{"key":"CIT0009","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/BF01190256","volume":"27","author":"Guzm\u00e1n F.","year":"1990","journal-title":"Algebra Universalis"},{"key":"CIT0010","first-page":"42","author":"Heyting A.","year":"1930","journal-title":"Phys.-Math. Kl"},{"key":"CIT0011","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2267778","volume":"3","author":"Kleene S. C.","year":"1938","journal-title":"Journal of Symbolic Logic"},{"key":"CIT0012","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1090\/S0002-9947-1958-0095135-X","volume":"87","author":"Kalman J.","year":"1958","journal-title":"Trans. Am. Math. Soc."},{"key":"CIT0013","first-page":"169","volume":"5","author":"Lukasiewicz J.","year":"1920","journal-title":"Ruch Filozoficzny"},{"key":"CIT0014","unstructured":"McCarthy, J. A basis for a mathematical theory of computation"},{"key":"CIT0015","unstructured":"Braffort, P. and Hirshberg, D., eds. 1963.Computer Programming and Formal Systems33\u201370. In, North-Holland, Amsterdam"},{"key":"CIT0016","first-page":"169","volume-title":"Proceedings of the Fourth Annual Princeton Conference on Information Sciences and Systems","author":"Scott D. S.","year":"1970"}],"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":[[2017,6,20]],"date-time":"2017-06-20T19:27:12Z","timestamp":1497986832000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1995.10510855"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["10.1080\/11663081.1995.10510855"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1995.10510855","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}