{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,29]],"date-time":"2024-07-29T01:57:21Z","timestamp":1722218241633},"reference-count":7,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1994,7,1]]},"DOI":"10.1305\/ndjfl\/1040511343","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:39:50Z","timestamp":1046209190000},"source":"Crossref","is-referenced-by-count":4,"title":["The Strong Completeness of a System Based on Kleene's Strong Three-Valued Logic"],"prefix":"10.1215","volume":"35","author":[{"given":"Hiroshi","family":"Aoyama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","unstructured":"Aoyama, H., \u201cOn some classical systems of logic with a truth predicate symbol,\u201d <i>Tokai Review<\/i>, vol. 19 (1994), pp. 59\u201376."},{"key":"2","doi-asserted-by":"crossref","unstructured":"Cleave, J., \u201cThe notion of logical consequence in the logic of inexact predicates,\u201d <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 20 (1974),pp. 307\u2013324. Zbl 0299.02015 MR 51:10028","DOI":"10.1002\/malq.19740201903"},{"key":"3","doi-asserted-by":"crossref","unstructured":"Kearns, J. T., \u201cThe strong completeness of a system for Kleene's three-valued logic,\u201d <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 25 (1979), pp. 61\u201368. Zbl 0407.03030 MR 80d:03020","DOI":"10.1002\/malq.19790250307"},{"key":"4","doi-asserted-by":"publisher","unstructured":"Kripke S., \u201cOutline of a theory of truth,\u201d <i>The Journal of Philosophy<\/i>, vol. 72 (1975), pp. 690\u2013716. Zbl 0952.03513","DOI":"10.2307\/2024634"},{"key":"5","doi-asserted-by":"publisher","unstructured":"McCarthy, T., \u201cAbstraction and definability in semantically closed structures,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 14 (1985), pp. 255\u2013266. Zbl 0606.03005 MR 87b:03043","DOI":"10.1007\/BF00249366"},{"key":"6","doi-asserted-by":"crossref","unstructured":"McCarthy, T., \u201cUngroundedness in classical languages,\u201d <i>Journal of Philosophical[4] Logic<\/i>, vol. 17 (1988), pp. 61-74. Zbl 0645.03003 MR 89e:03105","DOI":"10.1007\/BF00249675"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Wang, H., \u201cThe calculus of partial predicates and its extension to set theory I,\u201d <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 7 (1961), pp. 283\u2013288. Zbl 0124.24604 MR 26:11","DOI":"10.1002\/malq.19610071705"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040511343","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:14Z","timestamp":1706649134000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-35\/issue-3\/The-Strong-Completeness-of-a-System-Based-on-Kleenes-Strong\/10.1305\/ndjfl\/1040511343.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,7,1]]},"references-count":7,"journal-issue":{"issue":"3","published-online":{"date-parts":[[1994,7,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040511343","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1994,7,1]]}}}