{"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":1706649003522},"reference-count":14,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2003,1,1]]},"DOI":"10.1305\/ndjfl\/1082637614","type":"journal-article","created":{"date-parts":[[2004,7,30]],"date-time":"2004-07-30T15:57:24Z","timestamp":1091203044000},"source":"Crossref","is-referenced-by-count":1,"title":["Reduction and Tarski's Definition of Logical Consequence"],"prefix":"10.1215","volume":"44","author":[{"given":"Jim","family":"Edwards","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Etchemendy, J., \"Tarski on truth and logical consequence\", <i>The Journal of Symbolic Logic<\/i>, vol. 53 (1988), pp. 51--79.","DOI":"10.1017\/S0022481200028929"},{"key":"3","unstructured":"[3] G\u00f6del, K., \"On formally undecidable propositions of <i>Principia Mathematica<\/i> and related systems\", pp. 596--616 in <i>From Frege to G\u00f6del. A Source Book in Mathematical Logic, 1879--1931<\/i>, edited by J. van Heijenoort, Harvard University Press, Cambridge, 1967."},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] G\u00f3mez-Torrente, M., \"Tarski on logical consequence\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 37 (1996), pp. 125--51.","DOI":"10.1305\/ndjfl\/1040067321"},{"key":"5","unstructured":"[5] Henkin, L., \"Completeness in the theory of types\", pp. 51--63 in <i>The Philosophy of Mathematics<\/i>, edited by J. Hintikka, Oxford Readings in Philosophy, Oxford University Press, London, 1969."},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Henkin, L., \"Completeness in the theory of types\", <i>The Journal of Symbolic Logic<\/i>, vol. 15 (1950), pp. 81--91. Reprinted in [?].","DOI":"10.2307\/2266967"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Henkin, L., \"The discovery of my completeness proofs\", <i>The Bulletin of Symbolic Logic<\/i>, vol. 2 (1996), pp. 127--58.","DOI":"10.2307\/421107"},{"key":"9","unstructured":"[9] Tarski, A., <i>Introduction to Logic and to the Methodology of Deductive Sciences<\/i>, Oxford University Press, New York, 1941."},{"key":"10","unstructured":"[10] Tarski, A., in collaboration with A. Mostowski and R. Robinson, \"A general method in proofs of undecidability\", pp. 1--35 in <i>Undecidable Theories<\/i>, 2d printing, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1968."},{"key":"11","unstructured":"[11] Tarski, A., \"The concept of truth in formalized languages\", pp. 152--278 in <i>Logic, Semantics, Metamathematics. Papers from 1923 to 1938<\/i>, edited by J. Corcoran, Hackett Publishing Co., Indianapolis, 2d edition, 1983. Translated by J. H. Woodger."},{"key":"12","unstructured":"[12] Tarski, A., \"On the concept of logical consequence\", pp. 409--20 in <i>Logic, Semantics, Metamathematics. Papers from 1923 to 1938<\/i>, edited by J. Corcoran, Hackett Publishing Co., Indianapolis, 2d edition, 1983. Translated by J. H. Woodger."},{"key":"13","unstructured":"[13] Tarski, A., \"Some observations on the concepts of $\\omega$-consistency and $\\omega$-completeness\", pp. 279--95 in <i>Logic, Semantics, Metamathematics. Papers from 1923 to 1938<\/i>, edited by J. Corcoran, Hackett Publishing Co., Indianapolis, 2d edition, 1983. Translated by J. H. Woodger."},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] Tarski, A., ``What are logical notions?'' <i>History and Philosophy of Logic<\/i>, vol. 7 (1986), pp. 143--54. Edited by J. Corcoran.","DOI":"10.1080\/01445348608837096"},{"key":"2","unstructured":"[2] Etchemendy, J., <i>The Concept of Logical Consequence<\/i>, Harvard University Press, Cambridge, 1990."},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Hodges, W., \"Truth in a structure\", <i>Proceedings of the Aristotelian Society<\/i> (1986), pp. 135--51.","DOI":"10.1093\/aristotelian\/86.1.135"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1082637614","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:56:00Z","timestamp":1706648160000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-44\/issue-1\/Reduction-and-Tarskis-Definition-of-Logical-Consequence\/10.1305\/ndjfl\/1082637614.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1,1]]},"references-count":14,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2003,1,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1082637614","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2003,1,1]]}}}