{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:10:54Z","timestamp":1757311854052},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1980,11,1]],"date-time":"1980-11-01T00:00:00Z","timestamp":341884800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1980,11]]},"DOI":"10.1007\/bf00262861","type":"journal-article","created":{"date-parts":[[2004,9,19]],"date-time":"2004-09-19T20:12:15Z","timestamp":1095624735000},"page":"343-362","source":"Crossref","is-referenced-by-count":11,"title":["A consecutive calculus for positive relevant implication with necessity"],"prefix":"10.1007","volume":"9","author":[{"suffix":"Jr.","given":"Nuel D.","family":"Belnap","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anil","family":"Gupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. Michael","family":"Dunn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF00262861_CR1","unstructured":"Anderson, A. R. and Belnap, N. D. Jr., Entailment, Vol. I, Princeton University Press, 1975."},{"key":"BF00262861_CR2","unstructured":"Charlwood, Gerald W., Representations of Semilattice Relevance Logic, University of Toronto Ph.D. dissertation, 1978."},{"key":"BF00262861_CR3","unstructured":"Curry, H. B., Foundations of Mathematical Logic, McGraw-Hill, 1963."},{"key":"BF00262861_CR4","unstructured":"Dunn, J. Michael, \u2018Consecution formulation of positive R with cotenability and t\u2018, Section 28.5 of [1]."},{"key":"BF00262861_CR5","first-page":"356","volume":"38","author":"J. Michael Dunn","year":"1973","unstructured":"DunnJ. Michael, (Abstract) \u2018A \u201cGentzen System\u201d for positive relevant implication\u2019, Journal of Symbolic Logic\n38 (1973), 356\u2013357.","journal-title":"Journal of Symbolic Logic"},{"key":"BF00262861_CR6","first-page":"560","volume":"41","author":"Kit Fine","year":"1976","unstructured":"FineKit, \u2018Completeness for the semilattice semantics with disjunction and conjunction\u2019 [abstract], Journal of Symbolic Logic\n41 (1976), 560.","journal-title":"Journal of Symbolic Logic"},{"key":"BF00262861_CR7","first-page":"90","volume-title":"Issl\u00e9dovani\u00e0 po konstruktivnoj matematik\u00e9 i matemati\u0107eskoj logike V","author":"G. E. Minc","year":"1972","unstructured":"MincG. E., \u2018T\u00e9or\u00e9ma ob ustranimosti s\u00e9\u010d\u00e9nia dl\u00e1 relevantnyh logik\u2019, Issl\u00e9dovani\u00e0 po konstruktivnoj matematik\u00e9 i matemati\u0107eskoj logike V, J. V.Matijasevic and O. A.Slisenko (eds.), Leningrad (Izdatel'stvo \u2018Nauka\u2019) (1972), pp. 90\u201397. English translation (\u2018Cut-elimination theorem in relevant logics\u2019) in The Journal of Soviet Mathematics\n6 (1976), 422\u2013428."},{"key":"BF00262861_CR8","first-page":"135","volume":"8","author":"G. Pottinger","year":"1969","unstructured":"PottingerG., \u2018A new classical relevance logic\u2019. Journal of Philosophical Logic\n8 (1969), 135\u2013147.","journal-title":"Journal of Philosophical Logic"},{"key":"BF00262861_CR9","unstructured":"Prawitz, Dag., Natural deduction. Almqvist & Wiksell, 1965."},{"key":"BF00262861_CR10","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2272559","volume":"37","author":"Alisdair Urquhart","year":"1972","unstructured":"UrquhartAlisdair, \u2018Semantics for relevance logics\u2019, Journal of Symbolic Logic\n37 (1972) 159\u2013169.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00262861.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00262861\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00262861","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00262861.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,18]],"date-time":"2020-02-18T03:54:47Z","timestamp":1581998087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00262861"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980,11]]},"references-count":10,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1980,11]]}},"alternative-id":["BF00262861"],"URL":"https:\/\/doi.org\/10.1007\/bf00262861","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1980,11]]}}}