{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T14:48:25Z","timestamp":1780930105163,"version":"3.54.1"},"reference-count":16,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1999,1]]},"DOI":"10.1080\/11663081.1999.10510958","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T08:14:19Z","timestamp":1338365659000},"page":"61-105","source":"Crossref","is-referenced-by-count":35,"title":["Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions"],"prefix":"10.1080","volume":"9","author":[{"given":"Alexej P.","family":"Pynko","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"301","reference":[{"key":"CIT0001","volume-title":"Distributive lattices, University of Missouri Press, Columbia (Missouri)","author":"Balbes R.","year":"1974"},{"key":"CIT0002","unstructured":"Belnap (jr.), N. D.Modern Uses of Multiple-Valued LogicEdited by: Dunn, J. M. and Epstein, G. 8\u201337.A useful four-valued logicin: (D. Reidel Publishing Company, Dordrecht, 1977)"},{"key":"CIT0003","doi-asserted-by":"crossref","unstructured":"Ginsberg, M. L. 1988.Computational Intelligence 4265\u2013316.Multivalued logics: a uniform approach to reasoning in artificial intelligence","DOI":"10.1111\/j.1467-8640.1988.tb00280.x"},{"key":"CIT0004","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal algebra (2nd edition)","author":"Gr\u00e4tzer G.","year":"1979"},{"key":"CIT0005","doi-asserted-by":"crossref","unstructured":"Kalman, J. A. 1958.Transactions of the American Mathematical Society 87485\u2013491.Lattices with involution","DOI":"10.2307\/1993112"},{"key":"CIT0006","volume-title":"Introduction to metamathematics, D. Van Nostrand Company, New York","author":"Kleene S. C.","year":"1952"},{"key":"CIT0007","volume-title":"Algebraic systems","author":"Mal'cev A. I.","year":"1965"},{"key":"CIT0008","unstructured":"Moisil, G. C. 1935.Annales Scientifiques de l'Universit\u00e9 de Jassy 221\u2013117.Recherches sur l'alg\u00e8bre de la logique"},{"key":"CIT0009","unstructured":"Popov, V. M. 1989.Syntactic and semantic investigations of non-extensional logicsEdited by: Smirnov, V. A. 285\u2013289. Moscow: (Nauka.Sequential formulations of some paraconsistent logical systems(in Russian), in:"},{"key":"CIT0010","volume-title":"A structural semantic approach to constructing propositional logical systems (in Russian), Preprint Pr-1815 (Russian Academy of Sciences, Space Research Institute, Moscow","author":"Pynko A. P.","year":"1992"},{"key":"CIT0011","volume-title":"Annals of Pure and Applied Logic","author":"Pynko A. P.","year":"1993"},{"key":"CIT0012","doi-asserted-by":"crossref","unstructured":"Pynko, A. P. 1995.Studia Logica 5489\u2013128.Algebraic study of Sette's maximal paraconsistent logic","DOI":"10.1007\/BF01058534"},{"key":"CIT0013","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1080\/11663081.1995.10510856","author":"Pynko A. P.","year":"1995","journal-title":"Journal of Applied Non- Classical Logics 5"},{"key":"CIT0014","doi-asserted-by":"crossref","unstructured":"Pynko, A. P. 1995.Mathematical Logic Quarterly 41442\u2013454.Characterizing Belnap's logic via De Morgan's laws","DOI":"10.1002\/malq.19950410403"},{"key":"CIT0015","volume-title":"Regular bilattices, Preprint","author":"Pynko A. P.","year":"1996"},{"key":"CIT0016","volume-title":"Discrete Mathematics","author":"Pynko A. P."}],"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":[[2023,6,23]],"date-time":"2023-06-23T00:38:18Z","timestamp":1687480698000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1999.10510958"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,1]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,1]]}},"alternative-id":["10.1080\/11663081.1999.10510958"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1999.10510958","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,1]]}}}