{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T04:03:22Z","timestamp":1751515402802},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2012,10,20]],"date-time":"2012-10-20T00:00:00Z","timestamp":1350691200000},"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":[[2012,12]]},"DOI":"10.1007\/s11225-012-9459-y","type":"journal-article","created":{"date-parts":[[2012,10,19]],"date-time":"2012-10-19T12:20:34Z","timestamp":1350649234000},"page":"1149-1174","source":"Crossref","is-referenced-by-count":5,"title":["An Algebraic Proof of the Admissibility of \u03b3 in Relevant Modal Logics"],"prefix":"10.1007","volume":"100","author":[{"given":"Takahiro","family":"Seki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,10,20]]},"reference":[{"key":"9459_CR1","unstructured":"Brady, R.T. (ed.), Relevant Logics and Their Rivals, Volume II, Ashgate Publishing Limited, Aldershot, 2003."},{"key":"9459_CR2","doi-asserted-by":"crossref","unstructured":"Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"9459_CR3","doi-asserted-by":"crossref","unstructured":"Dunn, J. M., and G. Restall, Relevance logic, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, 2nd edition, Vol. 6, Kluwer, Dordrecht, 2002, pp. 1\u2013128.","DOI":"10.1007\/978-94-017-0460-1_1"},{"key":"9459_CR4","unstructured":"Galatos, N., P. Jipsen, T. Kowalski and H. Ono, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Elsevier, 2007."},{"key":"9459_CR5","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1002\/malq.19930390119","volume":"39","author":"E. D. Mares","year":"1993","unstructured":"Mares E. D.: Classically complete modal relevant logics. Mathematical Logic Quarterly 39, 165\u2013177 (1993)","journal-title":"Mathematical Logic Quarterly"},{"key":"9459_CR6","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1305\/ndjfl\/1093636096","volume":"33","author":"E. D. Mares","year":"1992","unstructured":"Mares E. D., Meyer R. K.: The admissibility of \u03b3 in R4. Notre Dame Journal of Formal Logic 33, 197\u2013206 (1992)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9459_CR7","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1305\/ndjfl\/1093887722","volume":"17","author":"R.K. Meyer","year":"1976","unstructured":"Meyer R.K.: Metacompleteness. Notre Dame Journal of Formal Logic 17, 501\u2013516 (1976)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9459_CR8","doi-asserted-by":"crossref","first-page":"460","DOI":"10.2307\/2270909","volume":"34","author":"R. K. Meyer","year":"1969","unstructured":"Meyer R. K., Dunn J. M.: E, R and \u03b3. Journal of Symbolic Logic 34, 460\u2013474 (1969)","journal-title":"Journal of Symbolic Logic"},{"key":"9459_CR9","doi-asserted-by":"crossref","unstructured":"Olson, J. S., J. G. Raftery and C. J. van Alten, Structural completeness in substructural logics, Logic Journal of the IGPL 16:453\u2013495, 2008.","DOI":"10.1093\/jigpal\/jzn014"},{"key":"9459_CR10","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/BF00650498","volume":"1","author":"R. Routley","year":"1972","unstructured":"Routley R., Meyer R.K.: The semantics of entailment II. Journal of Philosophical Logic 1, 192\u2013208 (1972)","journal-title":"Journal of Philosophical Logic"},{"key":"9459_CR11","doi-asserted-by":"crossref","unstructured":"Routley, R., and R. K. Meyer, The semantics of entailment I, in H. Leblanc (ed.), Truth, Syntax and Semantics, North-Holland, Amsterdam, 1973, pp. 194\u2013243.","DOI":"10.1016\/S0049-237X(08)71541-6"},{"key":"9459_CR12","unstructured":"Routley, R., V. Plumwood, R.K. Meyer and R. T. Brady, Relevant Logics and Their Rivals I, Ridgeview Publishing Company, Atascadero, 1982."},{"key":"9459_CR13","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1023335229747","volume":"73","author":"T. Seki","year":"2003","unstructured":"Seki T.: A Sahlqvist theorem for relevant modal logics. Studia Logica 73, 383\u2013411 (2003)","journal-title":"Studia Logica"},{"key":"9459_CR14","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/s11225-011-9306-6","volume":"97","author":"T. Seki","year":"2011","unstructured":"Seki T.: The \u03b3-admissibility of relevant modal logics I - the method of normal models. Studia Logica 97, 199\u2013231 (2011)","journal-title":"Studia Logica"},{"key":"9459_CR15","first-page":"375","volume":"97","author":"T. Seki","year":"2011","unstructured":"Seki T.: The \u03b3-admissibility of relevant modal logics II - the method using metavaluations. Studia Logica 97, 375\u2013407 (2011)","journal-title":"Studia Logica"},{"key":"9459_CR16","unstructured":"Seki, T., Some metacomplete relevant modal logics, Studia Logica, to appear."},{"key":"9459_CR17","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00935747","volume":"43","author":"J. K. Slaney","year":"1984","unstructured":"Slaney J. K.: A Metacompleteness theorem for contraction-free relevant logics. Studia Logica 43, 159\u2013168 (1984)","journal-title":"Studia Logica"},{"key":"9459_CR18","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1305\/ndjfl\/1093637560","volume":"28","author":"J.K. Slaney","year":"1987","unstructured":"Slaney J.K.: Reduced models for relevant logics without WI. Notre Dame Journal of Formal Logic 28, 395\u2013407 (1987)","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9459-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-012-9459-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9459-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,4]],"date-time":"2019-07-04T20:56:02Z","timestamp":1562273762000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-012-9459-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,20]]},"references-count":18,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["9459"],"URL":"https:\/\/doi.org\/10.1007\/s11225-012-9459-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10,20]]}}}