{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T08:43:37Z","timestamp":1777538617849,"version":"3.51.4"},"reference-count":22,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1999,10,1]]},"DOI":"10.1305\/ndjfl\/1012429715","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T20:13:46Z","timestamp":1046204026000},"source":"Crossref","is-referenced-by-count":12,"title":["Truth and the Liar in De Morgan-Valued Models"],"prefix":"10.1215","volume":"40","author":[{"given":"Hannes","family":"Leitgeb","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","unstructured":"Barwise, J., and J. Etchemendy, <i>The Liar<\/i>, Oxford University Press, Oxford, 1987. Zbl 0678.03001 MR 88k:03009"},{"key":"2","unstructured":"Belnap, N. D. Jr., and J. H. Spencer, \u201cIntensionally complemented distributive lattices,\u201d <i>Portugaliae Mathematica<\/i>, vol. 25 (1966), pp. 99\u2013104. Zbl 0158.27103 MR 35:1519"},{"key":"3","doi-asserted-by":"crossref","unstructured":"Belnap, N. D. Jr., \u201cA useful four-valued logic,\u201d pp. 8\u201337 in <i>Modern Uses of Multiple-Valued Logic<\/i>, edited by J. M. Dunn and G. Epstein, D. Reidel, Dordrecht, 1977. Zbl 0424.03012 MR 58 #5021","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"4","unstructured":"Bialynicki-Birula, A., and H. Rasiowa, \u201cOn the representation of quasi-boolean algebras,\u201d <i>Bulletin Academie Polen. Sci. Cl.<\/i>, vol. 3 (1957), pp. 259\u201361. Zbl 0082.01403 MR 19,380b"},{"key":"5","unstructured":"Dunn, J. M., \u201cIntensional algebras,\u201d pp. 180\u2013206 in <i>Entailment<\/i>, edited by A. R. Anderson and N. D. Belnap Jr., Princeton University Press, Princeton, 1975."},{"key":"6","doi-asserted-by":"crossref","unstructured":"Dunn, J. M., \u201cRelevance logic and entailment,\u201d pp. 117\u2013224 in <i>Handbook of Philosophical Logic III<\/i>, edited by D. Gabbay and F. Guenthner, D. Reidel, Dordrecht, 1986. Zbl 0875.03051","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Gupta, A., and N. Belnap, <i>The Revision Theory of Truth<\/i>, The MIT Press, Cambridge, 1993. Zbl 0858.03010 MR 95f:03003","DOI":"10.7551\/mitpress\/5938.001.0001"},{"key":"8","doi-asserted-by":"crossref","unstructured":"Hermes, H., <i>Einf\u00fchrung in die Verbandstheorie<\/i>, Springer-Verlag, Berlin, 1967. Zbl 0153.33203 MR 36 #3686","DOI":"10.1007\/978-3-642-86524-4"},{"key":"9","doi-asserted-by":"crossref","unstructured":"Kalman, J. A., \u201cLattices with involution,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 87 (1958), 485\u201391. Zbl 0228.06003 MR 20 #1641","DOI":"10.1090\/S0002-9947-1958-0095135-X"},{"key":"11","doi-asserted-by":"publisher","unstructured":"Kripke, S. A., \u201cOutline of a theory of truth,\u201d <i>The Journal of Philosophy<\/i>, vol. 72 (1975), pp. 690\u2013716. Zbl 0952.03513","DOI":"10.2307\/2024634"},{"key":"12","doi-asserted-by":"publisher","unstructured":"Leitgeb, H., <i>Truth as Translation<\/i>, Ph.D. thesis, University of Salzburg, Salzburg, 1998.","DOI":"10.1023\/A:1017982316171"},{"key":"13","doi-asserted-by":"crossref","unstructured":"Martin, R. L., and P. W. Woodruff, \u201cOn representing `True-in-$L$' in $L$,\u201d <i>Philosophia<\/i>, vol. 5 (1975), pp. 213\u201317. Zbl 0386.03001","DOI":"10.1007\/BF02379018"},{"key":"14","unstructured":"McGee, V., <i>Truth, Vagueness and Paradox<\/i>, Hackett Publishing Company, Indianapolis, 1991. Zbl 0734.03001 MR 92k:03004"},{"key":"15","unstructured":"Monteiro, A., \u201cMatrices de Morgan caract\u00e8ristiques pour le calcul propositionnel classique,\u201d <i>An. Acad. Brasil, Ci.<\/i>, vol. 32 (1960), pp. 1\u20137. Zbl 0094.00605 MR 28:18"},{"key":"16","unstructured":"Rescher, N., <i>Many-valued Logic,<\/i> McGraw-Hill, New York, 1969. Zbl 0248.02023"},{"key":"17","unstructured":"Rosser, J. B., <i>Simplified Independence Proofs<\/i>, Academic Press, New York, 1969. Zbl 0209.30502 MR 40 #2536"},{"key":"18","unstructured":"Tarski, A., \u201cDer Wahrheitsbegriff in den formalisierten Sprachen,\u201d <i>Studia Philosophica<\/i>, vol. 1 (1935), pp. 261\u2013405. Zbl 0013.28903"},{"key":"19","doi-asserted-by":"crossref","unstructured":"Tarski, A., \u201cThe semantic conception of truth and the foundations of semantics,\u201d <i>Philosophy and Phenomenological Research<\/i>, vol. 4 (1944), pp. 341\u201376. Zbl 0061.00807","DOI":"10.2307\/2102968"},{"key":"20","unstructured":"Visser, A., \u201cFour valued semantics and the Liar,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 13 (1984), pp. 695\u2013708. Zbl 0546.03007 MR 86f:03042"},{"key":"21","doi-asserted-by":"crossref","unstructured":"Visser, A., \u201cSemantics and the Liar Paradox,\u201d pp. 617\u2013706, in <i>Handbook of Philosophical Logic IV<\/i>, edited by D. Gabbay and F. Guenthner, D. Reidel, Dordrecht, 1989. Zbl 0875.03030","DOI":"10.1007\/978-94-009-1171-0_10"},{"key":"22","doi-asserted-by":"crossref","unstructured":"Woodruff, P. W., \u201cParadox, truth and logic. Part 1: paradox and truth,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 13 (1984), pp. 213\u201332. Zbl 0546.03006 MR 86d:03005d","DOI":"10.1007\/BF00453022"},{"key":"10","doi-asserted-by":"publisher","unstructured":"Koppelberg, S., <i>Handbook of Boolean Algebras<\/i>, vol. 1, North-Holland, Amsterdam, 1989. Zbl 0671.06001 MR 90k:06002","DOI":"10.1007\/BF00353658"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1012429715","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:13:55Z","timestamp":1706649235000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-40\/issue-4\/Truth-and-the-Liar-in-De-Morgan-Valued-Models\/10.1305\/ndjfl\/1012429715.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,10,1]]},"references-count":22,"journal-issue":{"issue":"4","published-online":{"date-parts":[[1999,10,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1012429715","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1999,10,1]]}}}