{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T14:26:23Z","timestamp":1759847183522},"reference-count":13,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1996,1,1]]},"DOI":"10.1305\/ndjfl\/1040067318","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:18:01Z","timestamp":1046207881000},"source":"Crossref","is-referenced-by-count":7,"title":["Decidability of Fluted Logic with Identity"],"prefix":"10.1215","volume":"37","author":[{"given":"William C.","family":"Purdy","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"Andrews, P. B., <i>An Introduction to Mathematical Logic and Type Theory<\/i>, Academic Press, Orlando, 1986. Zbl 0617.03001 MR 88g:03001"},{"key":"2","unstructured":"Enderton, H. B., <i>A Mathematical Introduction to Logic<\/i>, Academic Press, New York, 1972. Zbl 0298.02002 MR 49:2239"},{"key":"3","doi-asserted-by":"crossref","unstructured":"Hintikka, J., \u201cSurface information and depth information,\u201d pp. 263\u2013297 in <i>Information and Inference<\/i>, edited by J. Hintikka and P. Suppes, Reidel, Dordrecht, 1970. Zbl 0265.02005 MR 43:4625","DOI":"10.1007\/978-94-010-3296-4_8"},{"key":"4","unstructured":"Hintikka, J., <i>Logic, Language-Games and Information<\/i>, Clarendon Press, Oxford, 1973. Zbl 0253.02005 MR 54:4911"},{"key":"5","doi-asserted-by":"publisher","unstructured":"Noah, A., \u201cPredicate-functors and the limits of decidability in logic,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 21 (1980), pp. 701\u2013707. Zbl 0416.03014 MR 82b:03042","DOI":"10.1305\/ndjfl\/1093883255"},{"key":"6","doi-asserted-by":"crossref","unstructured":"Purdy, W. C., \u201cA variable-free logic for anaphora,\u201d pp. 41\u201370 in <i>Patrick Suppes: Scientific Philosopher<\/i>, edited by P. Humphreys, vol. 3, Kluwer Academic Publishers, Dordrecht, 1994. MR 96e:03036","DOI":"10.1007\/978-94-011-1152-2_3"},{"key":"7","unstructured":"Purdy, W. C., \u201cFluted formulas and the limits of decidability,\u201d <i>The Journal of Symbolic Logic<\/i>, forthcoming. Zbl 0858.03012 MR 97b:03019"},{"key":"8","unstructured":"Quine, W. V., \u201cVariables explained away,\u201d <i>Proceedings of the American Philosophical Society<\/i>, vol. 104 (1960), pp. 343\u2013347."},{"key":"9","unstructured":"Quine, W. V., \u201cOn the limits of decision,\u201d <i>Proceedings of the 14th International Congress of Philosophy<\/i>, vol. III, University of Vienna, 1969."},{"key":"10","unstructured":"Quine, W. V., <i>The Ways of Paradox and Other Essays<\/i>, Enlarged Edition, Harvard University Press, Cambridge, 1976."},{"key":"11","doi-asserted-by":"crossref","unstructured":"Quine, W. V., \u201cPredicate functors revisited,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 46 (1981), pp. 649\u2013652. Zbl 0472.03007 MR 83e:03028","DOI":"10.2307\/2273763"},{"key":"12","unstructured":"Quine, W. V., <i>Methods of Logic<\/i>, Fourth Edition, Harvard University Press, Cambridge, 1982."},{"key":"13","doi-asserted-by":"crossref","unstructured":"Rantala, V., \u201cConstituents,\u201d pp. 43\u201376 in <i>Jaakko Hintikka<\/i>, edited by R. J. Bogdan, Reidel, Dordrecht, 1987.","DOI":"10.1007\/978-94-009-3763-5_2"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040067318","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:44Z","timestamp":1706649164000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-37\/issue-1\/Decidability-of-Fluted-Logic-with-Identity\/10.1305\/ndjfl\/1040067318.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1,1]]},"references-count":13,"journal-issue":{"issue":"1","published-online":{"date-parts":[[1996,1,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040067318","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1996,1,1]]}}}