{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:22:11Z","timestamp":1752229331448},"reference-count":5,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1995,7,1]]},"DOI":"10.1305\/ndjfl\/1040149356","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:25:27Z","timestamp":1046208327000},"source":"Crossref","is-referenced-by-count":6,"title":["Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom"],"prefix":"10.1215","volume":"36","author":[{"given":"Jos\u00e9 M.","family":"M\u00e9ndez","sequence":"first","affiliation":[]},{"given":"Francisco","family":"Salto","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"Dummett, M., \u201cA propositional calculus with a denumerable matrix,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 24 (1959), pp. 97\u2013106. Zbl 0089.24307","DOI":"10.2307\/2964753"},{"key":"2","unstructured":"M\u00e9ndez, J. M., and F. Salto, \u201cA natural negation completion of Urquhart's many-valued logic C,\u201d forthcoming in <i>Journal of Philosophical Logic<\/i>. Zbl 0904.03011 MR 99j:03021"},{"key":"3","doi-asserted-by":"publisher","unstructured":"Ono, H., and Y. Komori, \"Logics without the contraction rule,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 50 (1985), pp. 169\u2013201. Zbl 0583.03018 MR 87a:03053","DOI":"10.2307\/2273798"},{"key":"4","unstructured":"Routley, R., and R. K. Meyer, \u201cThe semantics of entailment IV,\u201d pp. 407\u2013424 in <i>Relevant Logics and Their Rivals<\/i>, volume 1, edited by R. Routley et al., Ridgeview Press, Ridgeview, 1982."},{"key":"5","doi-asserted-by":"crossref","unstructured":"Urquhart, A., \u201cMany-valued logic,\" pp. 71\u2013116 in <i>Handbook of Philosophical Logic<\/i>, volume 3, edited by D. Gabbay and F. Guenthner, Reidel, Dordrecht, 1986. Zbl 0875.03054","DOI":"10.1007\/978-94-009-5203-4_2"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040149356","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:33Z","timestamp":1706649153000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-36\/issue-3\/Urquharts-C-with-Intuitionistic-Negation--Dummetts-LC-without-the\/10.1305\/ndjfl\/1040149356.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,7,1]]},"references-count":5,"journal-issue":{"issue":"3","published-online":{"date-parts":[[1995,7,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040149356","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1995,7,1]]}}}