{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T23:54:21Z","timestamp":1648770861223},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1985,1,1]],"date-time":"1985-01-01T00:00:00Z","timestamp":473385600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/bf00394443","type":"journal-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T13:49:43Z","timestamp":1099921783000},"page":"233-236","source":"Crossref","is-referenced-by-count":0,"title":["On purported Gentzen formulations of two positive relevent logics"],"prefix":"10.1007","volume":"44","author":[{"given":"Steve","family":"Giambrone","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Entailment: The Logic of Relevance and Necessity, Vol. I","author":"A. R. Anderson","year":"1975","unstructured":"A. R. Anderson and N. D. Belnap, Jr., Entailment: The Logic of Relevance and Necessity, Vol. I, Princeton University Press, Princeton, N.J., 1975."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/BF00284976","volume":"11","author":"N. D. Belnap Jr.","year":"1982","unstructured":"N. D. Belnap, Jr., Display logic, Journal of Philosophical Logic 11 (1982), pp. 375?418.","journal-title":"Journal of Philosophical Logic"},{"key":"CR3","unstructured":"G. Charlwood, Representations of Semilattice Relevance Logics, University of Toronto Doctoral Dissertation, 1978."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"231","DOI":"10.2307\/2273616","volume":"46","author":"G. Charlwood","year":"1981","unstructured":"G. Charlwood, An axiomatic version of positive semilattice relevance logic, Journal of Symbolic Logic 46 (1981), pp. 231?39.","journal-title":"Journal of Symbolic Logic"},{"key":"CR5","first-page":"381","volume-title":"Entailment: The Logic of Relevance and Necessity, Vol. I","author":"J. M. Dunn","year":"1975","unstructured":"J. M. Dunn, Consecution formulation of positive R with co-tenability and t, in [1], pp. 381?91."},{"key":"CR6","unstructured":"S. Giambrone, Gentzen Systems and Decision Procedures for Relevant Logics, Australian National University Doctoral Dissertation, Canberra, 1983."},{"key":"CR7","unstructured":"S. Giambrone, A critique of ?Decision procedures for two positive relevance logics?, forthcoming."},{"key":"CR8","unstructured":"S. Giambrone, Subscripted Gentzen systems for semilattice logics, in preparation."},{"key":"CR9","first-page":"61","volume":"19","author":"A. Kron","year":"1978","unstructured":"A. Kron, Decision procedures for two positive relevance logics, Reports on Mathematical Logic 19 (1978), pp. 61?78.","journal-title":"Reports on Mathematical Logic"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/BF00713549","volume":"39","author":"A. Kron","year":"1980","unstructured":"A. Kron, Gentzen formulations of two positive relevance logics, Studia Logica 39 (1980), pp. 381?403.","journal-title":"Studia Logica"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/BF02584063","volume":"40","author":"A. Kron","year":"1981","unstructured":"A. Kron, Gentzen formulations of two positive relevance logics (correction), Studia Logica 40 (1981), p. 311.","journal-title":"Studia Logica"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1007\/BF01084083","volume":"6","author":"G. E. Minc","year":"1976","unstructured":"G. E. Minc, Cut-elimination theorem for relevant logics, Journal of Soviet Mathematics 6 (1976), pp. 422?28.","journal-title":"Journal of Soviet Mathematics"},{"key":"CR13","unstructured":"A. Urquhart, The Semantics of Entailment, University of Pittsburgh Doctoral Dissertation, 1973."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2272559","volume":"37","author":"A. Urquhart","year":"1972","unstructured":"A. Urquhart, Semantics for relevant logics, Journal of Symbolic Logic 37 (1972), pp. 159?69.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00394443.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00394443\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00394443","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T22:11:16Z","timestamp":1585951876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00394443"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1985]]}},"alternative-id":["BF00394443"],"URL":"https:\/\/doi.org\/10.1007\/bf00394443","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985]]}}}