{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T10:04:43Z","timestamp":1772445883875,"version":"3.50.1"},"reference-count":53,"publisher":"Oxford University Press (OUP)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Journal of IGPL"],"DOI":"10.1093\/jigpal\/jzn014","type":"journal-article","created":{"date-parts":[[2008,8,10]],"date-time":"2008-08-10T00:26:21Z","timestamp":1218327981000},"page":"453-495","source":"Crossref","is-referenced-by-count":39,"title":["Structural Completeness in Substructural Logics"],"prefix":"10.1093","volume":"16","author":[{"given":"J.S.","family":"Olson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.G.","family":"Raftery","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.J.","family":"Van Alten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2008,8,9]]},"reference":[{"key":"3_28241440","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0304-3975(88)90037-0","volume":"57","year":"1988","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"4_31684900","doi-asserted-by":"crossref","first-page":"788","DOI":"10.2307\/2586570","volume":"65","year":"2000","journal-title":"J SYMBOLIC LOGIC"},{"key":"6_31684901","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1017\/S1446788700035266","volume":"48","year":"1990","journal-title":"J AUSTRAL MATH SOC SER A"},{"key":"7_31383208","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s000120050156","volume":"43","year":"2000","journal-title":"ALGEBRA UNIVERSALIS"},{"key":"9_31684902","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1006\/jabr.1996.6834","volume":"190","year":"1997","journal-title":"J ALGEBRA"},{"key":"10_28241442","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/s11225-005-0106-8","volume":"78","year":"2004","journal-title":"STUDIA LOGICA"},{"key":"11_26937528","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/s000120200000","volume":"48","year":"2002","journal-title":"ALGEBRA UNIVERSALIS"},{"key":"13_27729830","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/BF00370837","volume":"57","year":"1996","journal-title":"STUDIA LOGICA"},{"key":"15_31684903","doi-asserted-by":"crossref","first-page":"97","DOI":"10.2307\/2964753","volume":"24","year":"1959","journal-title":"J SYMBOLIC LOGIC"},{"key":"16_31684904","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2271149","volume":"35","year":"1970","journal-title":"J SYMBOLIC LOGIC"},{"key":"17_31684905","first-page":"73","volume":"43","year":"2008","journal-title":"REPORTS ON MATHEMATICAL LOGIC"},{"key":"18_31684906","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BF02123815","volume":"32","year":"1973","journal-title":"STUDIA LOGICA"},{"key":"20_31684907","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1002\/malq.19900360606","volume":"36","year":"1990","journal-title":"ZEITSCHR F MATH LOGIK UND GRUNDLAGEN DER MATH"},{"key":"21_31684908","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/s00012-004-1870-4","volume":"52","year":"2005","journal-title":"ALGEBRA UNIVERSALIS"},{"key":"22_28806028","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/s11225-006-8305-5","volume":"83","year":"2006","journal-title":"STUDIA LOGICA"},{"key":"23_31684909","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1023\/B:STUD.0000037126.29193.09","volume":"77","year":"2004","journal-title":"STUDIA LOGICA"},{"key":"24_31684910","doi-asserted-by":"crossref","first-page":"859","DOI":"10.2307\/2586506","volume":"64","year":"1999","journal-title":"J SYMBOLIC LOGIC"},{"key":"25_31684911","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/S0168-0072(99)00032-9","volume":"102","year":"2000","journal-title":"ANN PURE APPL LOGIC"},{"key":"26_26937564","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","year":"1987","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"27_31684912","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1002\/malq.200610040","volume":"53","year":"2007","journal-title":"MATH LOGIC QUARTERLY"},{"key":"28_31684913","first-page":"47","volume":"45","year":"1981","journal-title":"IZVESTIYA AKADEMII NAUK SSSR"},{"key":"29_31684914","first-page":"641","volume":"38","year":"1985","journal-title":"MATEMATICHESKIE ZAMETKI"},{"key":"31_31684915","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1142\/S0218196702001048","volume":"12","year":"2002","journal-title":"INTERNAT J ALGEBRA COMPUT"},{"key":"32_31684916","first-page":"69","volume":"29","year":"1984","journal-title":"MATH JAPONICA"},{"key":"33_31684917","doi-asserted-by":"crossref","first-page":"602","DOI":"10.1002\/malq.200610018","volume":"52","year":"2006","journal-title":"MATH LOGIC QUARTERLY"},{"key":"34_31684918","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1002\/malq.200610052","volume":"53","year":"2007","journal-title":"MATH LOGIC QUARTERLY"},{"key":"35_31684919","doi-asserted-by":"crossref","first-page":"281","DOI":"10.2307\/2694922","volume":"66","year":"2001","journal-title":"J SYMBOLIC LOGIC"},{"issue":"4","key":"36_20648678","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1093\/logcom\/exi029","volume":"15","author":"Jerabek","year":"2005","journal-title":"Journal of Logic and Computation","ISSN":"https:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"37_31684920","first-page":"59","volume":"34","year":"2000","journal-title":"REPORTS ON MATHEMATICAL LOGIC"},{"key":"39_31684921","doi-asserted-by":"crossref","first-page":"1202","DOI":"10.2307\/2275637","volume":"62","year":"1997","journal-title":"J SYMBOLIC LOGIC"},{"key":"40_31684922","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0168-0072(92)90075-B","volume":"56","year":"1992","journal-title":"ANN PURE APPL LOGIC"},{"key":"42_31684923","first-page":"177","volume":"61","year":"1958","journal-title":"PROC KON NEDERL AKAD VAN WETENSCHAPPEN SERIES A"},{"key":"43_31684924","first-page":"39","volume":"31","year":"1972","journal-title":"STUDIA LOGICA"},{"key":"44_31684925","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1305\/ndjfl\/1093890896","volume":"14","year":"1973","journal-title":"NOTRE DAME J FORMAL LOGIC"},{"key":"45_31684926","doi-asserted-by":"crossref","first-page":"460","DOI":"10.2307\/2270909","volume":"34","year":"1969","journal-title":"J SYMBOLIC LOGIC"},{"key":"46_31684927","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/BF02379225","volume":"4","year":"1974","journal-title":"PHILOSOPHIA"},{"key":"47_31684928","first-page":"21","volume":"22","year":"1988","journal-title":"REPORTS ON MATHEMATICAL LOGIC"},{"key":"48_31684929","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/BF01084082","volume":"6","year":"1976","journal-title":"J SOVIET MATH"},{"key":"49_31684930","doi-asserted-by":"crossref","first-page":"790","DOI":"10.2307\/2586501","volume":"64","year":"1999","journal-title":"J SYMBOLIC LOGIC"},{"key":"52_31684931","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/s00012-007-2022-4","volume":"57","year":"2007","journal-title":"ALGEBRA UNIVERSALIS"},{"key":"53_31684932","doi-asserted-by":"crossref","first-page":"169","DOI":"10.2307\/2273798","volume":"50","year":"1985","journal-title":"J SYMBOLIC LOGIC"},{"key":"55_31684933","first-page":"345","volume":"19","year":"1971","journal-title":"BULL DE LACAD POLONAISE DES SCIENCES"},{"key":"56_31684934","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF02120824","volume":"30","year":"1972","journal-title":"STUDIA LOGICA"},{"key":"57_31684935","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0168-0072(98)00058-X","volume":"98","year":"1999","journal-title":"ANN PURE APPL LOGIC"},{"key":"58_31684936","doi-asserted-by":"crossref","first-page":"4405","DOI":"10.1090\/S0002-9947-07-04235-3","volume":"359","year":"2007","journal-title":"TRANS AMER MATH SOC"},{"key":"61_31684937","first-page":"145","volume":"28","year":"1999","journal-title":"BULLETIN OF THE SECTION OF LOGIC"},{"key":"62_31684938","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1305\/ndjfl\/1093634487","volume":"33","year":"1992","journal-title":"NOTRE DAME J FORMAL LOGIC"},{"key":"63_31684939","doi-asserted-by":"crossref","first-page":"1125","DOI":"10.2307\/2586622","volume":"64","year":"1999","journal-title":"J SYMBOLIC LOGIC"},{"key":"64_28241461","first-page":"3","volume":"40","year":"2006","journal-title":"REPORTS ON MATHEMATICAL LOGIC"},{"key":"66_31684940","first-page":"40","volume":"241","year":"1978","journal-title":"Doklady Akademii Nauk. Rossiyskaya Akademiya Nauk","ISSN":"https:\/\/id.crossref.org\/issn\/0002-3264","issn-type":"print"},{"key":"67_31684941","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/B:STUD.0000032087.02579.e2","volume":"76","year":"2004","journal-title":"STUDIA LOGICA"},{"key":"68_31684942","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/BF02124799","volume":"37","year":"1978","journal-title":"STUDIA LOGICA"},{"key":"69_31684943","first-page":"215","volume":"28","year":"1983","journal-title":"MATH JAPONICA"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/16\/5\/453\/2100661\/jzn014.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,19]],"date-time":"2023-05-19T14:14:39Z","timestamp":1684505679000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzn014"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8,9]]},"references-count":53,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2008,8,9]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzn014","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,8,9]]}}}