{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:02Z","timestamp":1706649002020},"reference-count":10,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2002,10,1]]},"DOI":"10.1305\/ndjfl\/1074396307","type":"journal-article","created":{"date-parts":[[2004,1,19]],"date-time":"2004-01-19T15:25:19Z","timestamp":1074525919000},"source":"Crossref","is-referenced-by-count":3,"title":["The Expressive Truth Conditions of Two-Valued Logic"],"prefix":"10.1215","volume":"43","author":[{"given":"Stephen","family":"Pollard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","unstructured":"Crawley, P., and R. Dilworth, <i>Algebraic T<\/i>heory of Lattices, Prentice-Hall, Englewood Cliffs, 1973."},{"key":"2","unstructured":"Kneale, W., \"The province of logic\", pp. 235\u201361 in <i>Contemporary B<\/i>ritish Philosophy, edited by H. D. Lewis, Macmillan, New York, 1956."},{"key":"3","unstructured":"Martin, N. M., and S. Pollard, <i>Closure S<\/i>paces and Logic, vol. 369 of <i>Mathematics and its A<\/i>pplications, Kluwer Academic Publishers, Dordrecht, 1996."},{"key":"4","doi-asserted-by":"crossref","unstructured":"Pollard, S., and N. M. Martin, \"Closed bases and closure logic\", <i>The Monist<\/i>, vol. 79 (1996), pp. 117\u201327.","DOI":"10.5840\/monist199679111"},{"key":"5","doi-asserted-by":"publisher","unstructured":"Pollard, S., and N. M. Martin, \"Contractions of closure systems\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 35 (1994), pp. 108\u201315.","DOI":"10.1305\/ndjfl\/1040609298"},{"key":"6","doi-asserted-by":"crossref","unstructured":"Scott, D., \"Completeness and axiomatizability in many-valued logic\", pp. 411\u201335 in <i>Proceedings of the T<\/i>arski Symposium (Vol. 25, University of California, Berkeley 1971), American Mathematical Society, Providence, 1974.","DOI":"10.1090\/pspum\/025\/0363802"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Shoesmith, D. J., and T. J. Smiley, <i>Multiple-conclusion L<\/i>ogic, Cambridge University Press, Cambridge, 1978.","DOI":"10.1017\/CBO9780511565687"},{"key":"8","unstructured":"Tarski, A., \"\u00dcber einige fundamentale B\"egriffe der Metamathematik, <i>Comptes Rendus des s\u00e9ances de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie<\/i>, vol. 23 (1930), pp. 22\u201329."},{"key":"9","unstructured":"Tarski, A., <i>Logic, S<\/i>emantics, Metamathematics. Papers from 1923 to 1938, 2d edition, edited by J. Corcoran, translated by J. H. Woodger, Hackett Publishing Co., Indianapolis, 1983."},{"key":"10","unstructured":"W\u00f3jcicki, R., <i>Theory of L<\/i>ogical Calculi. Basic Theory of Consequence Operations, vol. 199 of <i>Synthese Library<\/i>, Kluwer Academic Publishers, Dordrecht, 1988."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1074396307","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:55:57Z","timestamp":1706648157000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-43\/issue-4\/The-Expressive-Truth-Conditions-of-Two-Valued-Logic\/10.1305\/ndjfl\/1074396307.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,10,1]]},"references-count":10,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2002,10,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1074396307","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2002,10,1]]}}}