{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T12:10:03Z","timestamp":1752149403474,"version":"3.41.2"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2001,2,1]],"date-time":"2001-02-01T00:00:00Z","timestamp":980985600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,2,1]],"date-time":"2001-02-01T00:00:00Z","timestamp":980985600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Philosophical Logic"],"published-print":{"date-parts":[[2001,2]]},"DOI":"10.1023\/a:1017549804474","type":"journal-article","created":{"date-parts":[[2002,12,29]],"date-time":"2002-12-29T17:59:26Z","timestamp":1041184766000},"page":"51-55","source":"Crossref","is-referenced-by-count":0,"title":["Comments on Some Completeness Theorems of Urquhart and M\u00e9ndez &; Salto"],"prefix":"10.1007","volume":"30","author":[{"given":"Kenneth","family":"Harris","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Branden","family":"Fitelson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"321879_CR1","volume-title":"Entailment. The Logic of Relevance and Necessity","author":"A. R. Anderson","year":"1992","unstructured":"Anderson, A. R., Belnap, N. D., Jr., and Dunn, J. M.: Entailment. The Logic of Relevance and Necessity, Vol. II, Princeton University Press, Princeton, 1992."},{"key":"321879_CR2","doi-asserted-by":"crossref","first-page":"97","DOI":"10.2307\/2964753","volume":"24","author":"M. Dummett","year":"1959","unstructured":"Dummett, M.: A propositional calculus with a denumerable matrix, J. Symbolic Logic\n24 (1959), 97\u2013106.","journal-title":"J. Symbolic Logic"},{"key":"321879_CR3","unstructured":"Harris, K. and Fitelson, B.: Distributivity in \u0141\n$$_{\\aleph _0 }$$\n and other sentential logics, to appear in J. Automated Reasoning, 2000."},{"key":"321879_CR4","series-title":"Technical Report","volume-title":"A Davis\u2013Putnam program and its application to finite first-order model search: Quasigroup existence problems","author":"W. McCune","year":"1994","unstructured":"McCune, W.: A Davis\u2013Putnam program and its application to finite first-order model search: Quasigroup existence problems, Technical Report, Argonne National Laboratory, Argonne, Illinois, 1994."},{"key":"321879_CR5","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1305\/ndjfl\/1040149356","volume":"36","author":"J. M\u00e9ndez","year":"1995","unstructured":"M\u00e9ndez, J. and Salto, F.: Urquhart's C with intuitionistic negation: Dummett's LC without the contraction axiom, Notre Dame J. Formal Logic\n36 (1995), 407\u2013413.","journal-title":"Notre Dame J. Formal Logic"},{"key":"321879_CR6","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1023\/A:1017978332179","volume":"27","author":"J. M\u00e9ndez","year":"1998","unstructured":"M\u00e9ndez, J. and Salto, F.: Negation completion of Urquhart's many-valued C, J. Philos. Logic\n27 (1998), 75\u201384.","journal-title":"J. Philos. Logic"},{"key":"321879_CR7","unstructured":"Slaney, J.: MAGIC, Matrix Generator for Implication Connectives: Release 2.1 notes and guide, Technical Report TR-ARP-11-95, Automated Reasoning Project, Australian National University, 1995."},{"key":"321879_CR8","doi-asserted-by":"crossref","unstructured":"Urquhart, A.: Many-valued logic, in D. Gabbay and F. Guenther (eds.), Handbook of Philosophical Logic, Vol. III, D. Reidel, 1986.","DOI":"10.1007\/978-94-009-5203-4_2"},{"key":"321879_CR9","unstructured":"Urquhart, A.: Basic many-valued logic, Unpublished manuscript (obtained from an anonymous referee), 1998."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1017549804474.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1017549804474\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1023\/A:1017549804474","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1017549804474.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T11:35:48Z","timestamp":1752147348000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1017549804474"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,2]]},"references-count":9,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,2]]}},"alternative-id":["321879"],"URL":"https:\/\/doi.org\/10.1023\/a:1017549804474","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2001,2]]}}}