{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T10:19:26Z","timestamp":1775038766014,"version":"3.50.1"},"reference-count":13,"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-9458-z","type":"journal-article","created":{"date-parts":[[2012,10,19]],"date-time":"2012-10-19T12:18:56Z","timestamp":1350649136000},"page":"1175-1199","source":"Crossref","is-referenced-by-count":1,"title":["Metacompleteness of Substructural 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":"9458_CR1","unstructured":"Brady, R.T. (ed.), Relevant Logics and Their Rivals, Volume II, Ashgate Publishing Limited, Aldershot, 2003."},{"key":"9458_CR2","doi-asserted-by":"crossref","unstructured":"Ciabattoni, A., N. Galatos, and K. Terui, From axioms to analytic rules in nonclassical logics, Proceedings of the 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS\u201908), 2008, pp. 229\u2013240.","DOI":"10.1109\/LICS.2008.39"},{"key":"9458_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":"9458_CR4","unstructured":"Galatos, N., P. Jipsen, T. Kowalski, and H. Ono, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Elsevier, 2007."},{"key":"9458_CR5","doi-asserted-by":"crossref","first-page":"27","DOI":"10.2307\/2964334","volume":"25","author":"R Harrop","year":"1960","unstructured":"Harrop R: Concerning formulas of the types $${A \\rightarrow B \\vee C.\\,A \\rightarrow \\exists xB(x)}$$ in intuitionistic systems of logic, Journal of Symbolic Logic 25, 27\u201332 (1960)","journal-title":"Journal of Symbolic Logic"},{"key":"9458_CR6","doi-asserted-by":"crossref","first-page":"11","DOI":"10.2307\/2963675","volume":"27","author":"C. Kleene S.","year":"1962","unstructured":"Kleene S. C.: Disjunction and existence under implication in elementary intuitionistic formalisms. Journal of Symbolic Logic 27, 11\u201318 (1962)","journal-title":"Journal of Symbolic Logic"},{"key":"9458_CR7","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/BF01988049","volume":"3","author":"G. Kreisel","year":"1957","unstructured":"Kreisel G., Putnum H: Eine Unableitbarkeitsbeweismethode f\u00fcr den intuitionistischen Aussagenkalk\u00fcl. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 3, 74\u201378 (1957)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"9458_CR8","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1305\/ndjfl\/1093887722","volume":"17","author":"K.R 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":"9458_CR9","doi-asserted-by":"crossref","unstructured":"Restall, G., An Introduction to Substructural Logics, Routledge, 2000.","DOI":"10.4324\/9780203252642"},{"key":"9458_CR10","doi-asserted-by":"crossref","unstructured":"Schoroeder-Heister, P., and K. Do\u0161sen, (eds.), Substructural Logics, Oxford University Press, 1993.","DOI":"10.1093\/oso\/9780198537779.001.0001"},{"key":"9458_CR11","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00935747","volume":"43","author":"K Slaney J.","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":"9458_CR12","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1305\/ndjfl\/1093637560","volume":"28","author":"K. Slaney J.","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"},{"key":"9458_CR13","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1305\/ndjfl\/1193667706","volume":"48","author":"D Souma","year":"2007","unstructured":"Souma D: An algebraic approach to the disjunction property of substructural logics. Notre Dame Journal of Formal Logic 48, 489\u2013495 (2007)","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-9458-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-012-9458-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9458-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,30]],"date-time":"2024-04-30T12:26:42Z","timestamp":1714480002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-012-9458-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,20]]},"references-count":13,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["9458"],"URL":"https:\/\/doi.org\/10.1007\/s11225-012-9458-z","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]]}}}