{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,18]],"date-time":"2026-08-18T02:51:32Z","timestamp":1787021492698,"version":"build-2736575974"},"reference-count":15,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1999,4,1]]},"DOI":"10.1305\/ndjfl\/1038949541","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T15:32:03Z","timestamp":1046187123000},"source":"Crossref","is-referenced-by-count":13,"title":["A Natural Deduction System for First Degree Entailment"],"prefix":"10.1215","volume":"40","author":[{"given":"Allard M.","family":"Tamminga","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Koji","family":"Tanaka","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"73","reference":[{"key":"12","doi-asserted-by":"crossref","unstructured":"Smullyan, R. M., <i>First-Order Logic<\/i>, Springer-Verlag, Berlin, 1968. Zbl 0172.28901 MR 39:5311","DOI":"10.1007\/978-3-642-86718-7"},{"key":"1","doi-asserted-by":"crossref","unstructured":"Ackermann, W., \u201cBegr\u00fcndung einer strengen Implikation,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 21 (1956), pp. 113\u201328. Zbl 0072.00106 MR 18:270h","DOI":"10.2307\/2268750"},{"key":"2","unstructured":"Anderson, A. R., and N. D. Belnap, Jr., <i>Entailment: the Logic of Relevance and Necessity<\/i>, vol. 1, Princeton University Press, Princeton, 1975. Zbl 0323.02030"},{"key":"3","unstructured":"Anderson, A. R., N. D. Belnap, Jr., and J. M. Dunn, <i>Entailment: the Logic of Relevance and Necessity<\/i>, vol. 2, Princeton University Press, Princeton, 1992. Zbl 0921.03025 MR 94b:03042"},{"key":"4","unstructured":"Brentano, F. C. H. H. J., <i>Die Lehre vom richtigen Urteil<\/i>, Francke Verlag, Bern, 1956."},{"key":"5","doi-asserted-by":"publisher","unstructured":"Dunn, J. M., \u201cIntuitive semantics for first-degree entailments and `coupled trees',\u201d <i>Philosophical Studies<\/i>, vol. 29 (1976), pp. 149\u201368. MR 58:10311","DOI":"10.1007\/BF00373152"},{"key":"6","doi-asserted-by":"publisher","unstructured":"Konikowska, B., \u201cA two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic,\u201d <i>Studia Logica<\/i>, vol. 49 (1990), pp. 541\u201355. Zbl 0718.03015 MR 92g:03033","DOI":"10.1007\/BF00370164"},{"key":"7","unstructured":"\u0141ukasiewicz, J., \u201cTwo-valued logic,\u201d pp. 89\u2013109 in <i>Jan \u0141ukasiewicz. Selected Works<\/i>, edited by L. Borkowski, North-Holland, Amsterdam, 1970."},{"key":"8","unstructured":"\u0141ukasiewicz, J., <i>Aristotle's Syllogistic from the Standpoint of Modern Formal Logic<\/i>, 2d edition, Clarendon Press, Oxford, 1957. Zbl 0043.24601 MR 14:713a"},{"key":"9","doi-asserted-by":"crossref","unstructured":"Priest, G., \u201cParaconsistent logic,\u201d pp. 287\u2013393 in <i>Handbook of Philosophical Logic<\/i>, 2d edition, vol. 8, edited by D. M. Gabbay and F. Guenthner, Kluwer Academic Publishers, Dordrecht, 2001.","DOI":"10.1007\/978-94-017-0460-1_4"},{"key":"10","doi-asserted-by":"publisher","unstructured":"Priest, G., and R. Sylvan, \u201cSimplified semantics for basic relevant logics,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 21 (1992), pp. 217\u201332. Zbl 0782.03008 MR 93e:03034","DOI":"10.1007\/BF00248640"},{"key":"11","doi-asserted-by":"crossref","unstructured":"Routley, R., and V. Routley, \u201cThe semantics of first degree entailment,\u201d <i>No\u00fbs<\/i>, vol. 6 (1972), pp. 335\u201359. MR 58:21481","DOI":"10.2307\/2214309"},{"key":"13","unstructured":"Tamminga, A. M., \u201cLogics of rejection: two systems of natural deduction,\u201d <i>Logique &amp; Analyse<\/i>, vol. 146 (1994), pp. 169\u2013208. Zbl 0969.03015 MR 97g:03006"},{"key":"14","unstructured":"Tennant, N., <i>Natural Logic<\/i>, Edinburgh University Press, Edinburgh, 1978. Zbl 0483.03001 MR 81i:03004"},{"key":"15","unstructured":"Troelstra, A. S., and H. Schwichtenberg, <i>Basic Proof Theory<\/i>, Cambridge University Press, Cambridge, 1996. Zbl 0868.03024 MR 98g:03127"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1038949541","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T16:13:48Z","timestamp":1706631228000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-40\/issue-2\/A-Natural-Deduction-System-for-First-Degree-Entailment\/10.1305\/ndjfl\/1038949541.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,4,1]]},"references-count":15,"journal-issue":{"issue":"2","published-online":{"date-parts":[[1999,4,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1038949541","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1999,4,1]]}}}