{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,20]],"date-time":"2024-07-20T16:13:25Z","timestamp":1721492005420},"reference-count":41,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2016,8,17]],"date-time":"2016-08-17T00:00:00Z","timestamp":1471392000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2016,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Admissible rules are shown to be conservatively preserved by the meet-combination of a wide class of logics. A basis is obtained for the resulting logic from bases given for the component logics, under mild conditions. A weak form of structural completeness is proved to be preserved by the combination. Decidability of the set of admissible rules is also shown to be preserved, with no penalty on the time complexity. Examples are provided for the meet-combination of intermediate and modal logics.<\/jats:p>","DOI":"10.1017\/s1755020316000241","type":"journal-article","created":{"date-parts":[[2016,8,17]],"date-time":"2016-08-17T09:02:12Z","timestamp":1471424532000},"page":"641-663","source":"Crossref","is-referenced-by-count":3,"title":["PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS"],"prefix":"10.1017","volume":"9","author":[{"given":"JO\u00c3O","family":"RASGA","sequence":"first","affiliation":[]},{"given":"CRISTINA","family":"SERNADAS","sequence":"additional","affiliation":[]},{"given":"AM\u00cdLCAR","family":"SERNADAS","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2016,8,17]]},"reference":[{"key":"S1755020316000241_ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-6259-0_3"},{"key":"S1755020316000241_ref31","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzn014"},{"key":"S1755020316000241_ref27","doi-asserted-by":"publisher","DOI":"10.2307\/2275487"},{"key":"S1755020316000241_ref19","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1107220674"},{"key":"S1755020316000241_ref12","doi-asserted-by":"publisher","DOI":"10.2307\/2272344"},{"key":"S1755020316000241_ref35","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1190150298"},{"key":"S1755020316000241_ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32621-9_4"},{"key":"S1755020316000241_ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2013.09.003"},{"key":"S1755020316000241_ref3","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exm061"},{"key":"S1755020316000241_ref26","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exs007"},{"key":"S1755020316000241_ref2","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093957392"},{"key":"S1755020316000241_ref32","doi-asserted-by":"publisher","DOI":"10.1007\/BF02123821"},{"key":"S1755020316000241_ref13","volume-title":"Many-dimensional Modal Logics: Theory and Applications","volume":"148","author":"Gabbay","year":"2003"},{"key":"S1755020316000241_ref34","doi-asserted-by":"crossref","DOI":"10.1016\/S0049-237X(97)80001-8","volume-title":"Admissibility of Logical Inference Rules","volume":"136","author":"Rybakov","year":"1997"},{"key":"S1755020316000241_ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-015-9354-x"},{"key":"S1755020316000241_ref33","doi-asserted-by":"publisher","DOI":"10.1007\/BF01982031"},{"key":"S1755020316000241_ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-01539-1"},{"key":"S1755020316000241_ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(99)00032-9"},{"key":"S1755020316000241_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BF02123815"},{"key":"S1755020316000241_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02259929"},{"key":"S1755020316000241_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF02259858"},{"key":"S1755020316000241_ref6","first-page":"23","article-title":"Equivalential logics (after 25 years of investigations)","volume":"38","author":"Czelakowski","year":"2003","journal-title":"Reports on Mathematical Logic"},{"key":"S1755020316000241_ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2008.10.011"},{"key":"S1755020316000241_ref25","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp082"},{"key":"S1755020316000241_ref41","doi-asserted-by":"publisher","DOI":"10.2307\/2694931"},{"key":"S1755020316000241_ref37","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/9.2.149"},{"key":"S1755020316000241_ref7","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzr028"},{"key":"S1755020316000241_ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-015-9380-8"},{"key":"S1755020316000241_ref9","doi-asserted-by":"publisher","DOI":"10.2307\/2271891"},{"key":"S1755020316000241_ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1380572.1380574"},{"key":"S1755020316000241_ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2010.09.001"},{"key":"S1755020316000241_ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-006-0028-9"},{"key":"S1755020316000241_ref10","doi-asserted-by":"publisher","DOI":"10.2307\/2275807"},{"key":"S1755020316000241_ref17","doi-asserted-by":"publisher","DOI":"10.2307\/2964334"},{"key":"S1755020316000241_ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2013.06.001"},{"key":"S1755020316000241_ref23","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exi029"},{"key":"S1755020316000241_ref11","volume-title":"Fibring Logics","volume":"38","author":"Gabbay","year":"1999"},{"key":"S1755020316000241_ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2013.01.001"},{"key":"S1755020316000241_ref38","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exr035"},{"key":"S1755020316000241_ref18","doi-asserted-by":"publisher","DOI":"10.2307\/2694922"},{"key":"S1755020316000241_ref14","doi-asserted-by":"publisher","DOI":"10.2307\/2586506"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020316000241","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,18]],"date-time":"2019-04-18T20:30:35Z","timestamp":1555619435000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020316000241\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,17]]},"references-count":41,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["S1755020316000241"],"URL":"https:\/\/doi.org\/10.1017\/s1755020316000241","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,8,17]]}}}