{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:03Z","timestamp":1706649003948},"reference-count":7,"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\/1074396309","type":"journal-article","created":{"date-parts":[[2004,1,19]],"date-time":"2004-01-19T15:27:49Z","timestamp":1074526069000},"source":"Crossref","is-referenced-by-count":7,"title":["Intuitionistic Completeness and Classical Logic"],"prefix":"10.1215","volume":"43","author":[{"given":"D. C.","family":"McCarty","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","unstructured":"Dummett, M., <i>Elements of I<\/i>ntuitionism, Clarendon Press, 1977."},{"key":"2","doi-asserted-by":"publisher","unstructured":"Kreisel, G., \"On weak completeness of intuitionistic predicate logic\", <i>The Journal of Symbolic Logic<\/i>, vol. 27 (1962), pp. 139\u201358.","DOI":"10.2307\/2964110"},{"key":"3","doi-asserted-by":"publisher","unstructured":"McCarty, C., \"Constructive validity is nonarithmetic\", <i>The Journal of Symbolic Logic<\/i>, vol. 53 (1988), pp. 1036\u201341.","DOI":"10.1017\/S0022481200027912"},{"key":"4","doi-asserted-by":"publisher","unstructured":"McCarty, D. C., \"Incompleteness in intuitionistic metamathematics\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 32 (1991), pp. 323\u201358.","DOI":"10.1305\/ndjfl\/1093635833"},{"key":"5","doi-asserted-by":"crossref","unstructured":"Troelstra, A. S., editor, <i>Metamathematical I<\/i>nvestigation of Intuitionistic Arithmetic and Analysis, vol. 344, Lecture Notes in Mathematics, Springer-Verlag, Berlin, 1973.","DOI":"10.1007\/BFb0066739"},{"key":"6","unstructured":"Troelstra, A. S., and D. van Dalen, <i>Constructivism in M<\/i>athematics. An Introduction, Vol. I, vol. 121 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland Publishing Co., Amsterdam, 1988."},{"key":"7","unstructured":"Troelstra, A. S., and D. van Dalen, <i>Constructivism in M<\/i>athematics. An Introduction, Vol. II, vol. 123 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland Publishing Co., Amsterdam, 1988."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1074396309","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:55:58Z","timestamp":1706648158000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-43\/issue-4\/Intuitionistic-Completeness-and-Classical-Logic\/10.1305\/ndjfl\/1074396309.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,10,1]]},"references-count":7,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2002,10,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1074396309","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2002,10,1]]}}}