{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:17Z","timestamp":1755220937516,"version":"3.43.0"},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2000,12,1]],"date-time":"2000-12-01T00:00:00Z","timestamp":975628800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,12,1]],"date-time":"2000-12-01T00:00:00Z","timestamp":975628800000},"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":["Studia Logica"],"published-print":{"date-parts":[[2000,12]]},"DOI":"10.1023\/a:1005216827905","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T16:13:47Z","timestamp":1040487227000},"page":"409-418","source":"Crossref","is-referenced-by-count":2,"title":["Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio'"],"prefix":"10.1007","volume":"66","author":[{"given":"J. M.","family":"M\u00e9ndez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Salto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"323301_CR1","volume-title":"Entailment II","author":"J. Anderson","year":"1992","unstructured":"Anderson, J., N. Belnap, J. Dunn, Entailment II, Princeton University Press, Princeton, 1992."},{"key":"323301_CR2","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1305\/ndjfl\/1040149356","volume":"36","author":"J. M. M\u00c9ndez","year":"1995","unstructured":"M\u00c9ndez, J. M., and F. Salto, \u2018Urquhart's C with intuitionistic negation: Dummett's LC without the contraction axiom\u2019, Notre Dame Journal of Formal Logic 36 (1995), 407\u2013413.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"323301_CR3","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1023\/A:1017978332179","volume":"27","author":"J. M. M\u00c9ndez","year":"1998","unstructured":"M\u00c9ndez, J. M., and F. Salto, \u2018A natural negation completion of Urquhart's manyvalued logic C\u2019, Journal of Philosophical Logic 27 (1998), 75\u201384.","journal-title":"Journal of Philosophical Logic"},{"key":"323301_CR4","doi-asserted-by":"crossref","first-page":"169","DOI":"10.2307\/2273798","volume":"50","author":"H. Ono","year":"1985","unstructured":"Ono, H., and Y. Komori, \u2018Logics without the contraction rule\u2019, Journal of Symbolic Logic 50 (1985), 169\u2013201.","journal-title":"Journal of Symbolic Logic"},{"key":"323301_CR5","volume-title":"Relevant Logics and their Rivals","author":"R. Routley","year":"1982","unstructured":"Routley, R., et al., Relevant Logics and their Rivals, Ridgeview, California, 1982."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005216827905.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005216827905\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005216827905.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:26:35Z","timestamp":1754630795000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005216827905"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,12]]},"references-count":5,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000,12]]}},"alternative-id":["323301"],"URL":"https:\/\/doi.org\/10.1023\/a:1005216827905","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2000,12]]}}}