{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T12:59:15Z","timestamp":1770987555540,"version":"3.50.1"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1989,8,1]],"date-time":"1989-08-01T00:00:00Z","timestamp":617932800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1989,8]]},"DOI":"10.1007\/bf00274066","type":"journal-article","created":{"date-parts":[[2004,10,2]],"date-time":"2004-10-02T22:31:00Z","timestamp":1096756260000},"page":"225-256","source":"Crossref","is-referenced-by-count":64,"title":["Bilattices and the theory of truth"],"prefix":"10.1007","volume":"18","author":[{"given":"Melvin","family":"Fitting","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible Sets and Structures","author":"J. Barwise","year":"1975","unstructured":"J.Barwise, Admissible Sets and Structures, Springer-Verlag, Berlin (1975)."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"N. D. Belnap, Jr. A useful four-valued logic, in Modern Uses of Multiple-Valued Logic, J. Michael Dunn and G. Epstein, eds, pp. 8?37, D. Reidel (1977).","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"J. M. Dunn","year":"1976","unstructured":"J. M.Dunn, Intuitive semantics for first-degree entailments and ?coupled trees?, Philosophical Studies, vol. 29, pp. 149?168 (1976).","journal-title":"Philosophical Studies"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"M. C. Fitting, A Kripke\/Kleene semantics for logic programs, Journal of Logic Programming, pp. 295?312 (1985).","DOI":"10.1016\/S0743-1066(85)80005-4"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1305\/ndjfl\/1093636525","volume":"27","author":"M. C. Fitting","year":"1986","unstructured":"M. C.Fitting, Notes on the mathematical aspects of Kripke's Theory of Truth, Notre Dame Journal of Formal Logic, vol. 27, pp. 75?88 (1986).","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/FI-1988-11206","volume":"11","author":"M. C. Fitting","year":"1988","unstructured":"M. C.Fitting, Logic programming on a topological bilattice. Fundamenta Informatica, vol. 11, pp. 209?218 (1988).","journal-title":"Fundamenta Informatica"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"M. C. Fitting, Bilattices and the semantics of logic programming, Journal of Logic Programming (to appear).","DOI":"10.1016\/0743-1066(91)90014-G"},{"key":"CR8","unstructured":"M. L. Ginsberg, Multi-valued logics, Proc. AAAI-86, Fifth National Conference on Artificial Intelligence, pp. 243?247, Morgan Kaufmann Publishers (1986)."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"M. L. Ginsberg, Multivalued logics: A uniform approach to inference in artificial intelligence, Computational Intelligence, Vol. 4, no. 3.","DOI":"10.1111\/j.1467-8640.1988.tb00280.x"},{"key":"CR10","unstructured":"S. C. Kleene, Introduction to Metamathematics, Van Nostrand (1950)."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. Kripke","year":"1963","unstructured":"S.Kripke, Semantical analysis of modal logic I, normal propositional calculi, Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik, Vol. 9, pp. 67?96 (1963).","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"CR12","unstructured":"S. Kripke, Semantical considerations on modal logics, Acta Philosophica Fennica, Modal and Many-Valued Logics, pp. 83?94 (1963)."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"S. Kripke, Outline of a theory of truth, The Journal of Philosophy, vol. 72, pp. 690?716 (1975); reprinted in New Essays on Truth and The Liar Paradox, R. L. Martin, ed., Oxford (1983).","DOI":"10.2307\/2024634"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF02379018","volume":"5","author":"R. L. Martin","year":"1975","unstructured":"R. L.Martin and P. W.Woodruff, On representing ?true-in-L? in L, Philosophia (Israel), vol. 5, pp. 213?217 (1975).","journal-title":"Philosophia (Israel)"},{"key":"CR15","volume-title":"Logic, Language and Reality","author":"B. K. Matilal","year":"1985","unstructured":"B. K.Matilal, Logic, Language and Reality, Motilal Banardsidass, Delhi, 1985."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"A.Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol. 5, pp. 285?309 (1955).","journal-title":"Pacific Journal of Mathematics"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/BF00453021","volume":"13","author":"A. Visser","year":"1984","unstructured":"A.Visser, Four valued semantics and the liar, Journal of Philosophical Logic, vol. 13, pp. 181?212 (1984).","journal-title":"Journal of Philosophical Logic"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF00453022","volume":"13","author":"P. W. Woodruff","year":"1984","unstructured":"P. W.Woodruff, Paradox, truth and logic, part I: Paradox and truth, Journal of Philosophical Logic, vol. 13, pp. 213?232 (1984).","journal-title":"Journal of Philosophical Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00274066.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00274066\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00274066","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,26]],"date-time":"2021-06-26T03:11:29Z","timestamp":1624677089000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00274066"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,8]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1989,8]]}},"alternative-id":["BF00274066"],"URL":"https:\/\/doi.org\/10.1007\/bf00274066","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,8]]}}}