{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,18]],"date-time":"2024-02-18T04:40:10Z","timestamp":1708231210716},"reference-count":42,"publisher":"Wiley","issue":"6","license":[{"start":{"date-parts":[[2007,9,26]],"date-time":"2007-09-26T00:00:00Z","timestamp":1190764800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2007,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper establishes several algebraic embedding theorems, each of which asserts that a certain kind of residuated structure can be embedded into a richer one. In almost all cases, the original structure has a compatible involution, which must be preserved by the embedding. The results, in conjunction with previous findings, yield<jats:italic>separative<\/jats:italic>axiomatizations of the<jats:italic>deducibility relations<\/jats:italic>of various substructural formal systems having double negation and contraposition axioms. The separation theorems go somewhat further than earlier ones in the literature, which either treated fewer subsignatures or focussed on the conservation of theorems only. (\u00a9 2007 WILEY\u2010VCH Verlag GmbH &amp; Co. KGaA, Weinheim)<\/jats:p>","DOI":"10.1002\/malq.200610052","type":"journal-article","created":{"date-parts":[[2007,9,26]],"date-time":"2007-09-26T12:46:55Z","timestamp":1190810815000},"page":"583-609","source":"Crossref","is-referenced-by-count":10,"title":["Conserving involution in residuated structures"],"prefix":"10.1002","volume":"53","author":[{"given":"Ai\u2010ni","family":"Hsieh","sequence":"first","affiliation":[]},{"given":"James G.","family":"Raftery","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2007,9,26]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.2307\/2964754"},{"key":"e_1_2_1_3_2","unstructured":"A. R.Anderson andN. D.Belnap Jr. Entailment: The Logic of Relevance and Necessity Volume 1 (Princeton University Press 1975)."},{"key":"e_1_2_1_4_2","unstructured":"A. R.Anderson N. D.Belnap Jr. andJ. M.Dunn Entailment: The Logic of Relevance and Necessity Volume 2 (Princeton University Press 1992)."},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90037-0"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.2307\/2274660"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093635414"},{"key":"e_1_2_1_8_2","first-page":"259","article-title":"On the representation of quasi\u2010Boolean algebras","volume":"5","author":"Bia\u0142ynicki\u2010Birula A.","year":"1957","journal-title":"Bulletin de l'Acad\u00e9mie Polonaise des Sciences"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02314419"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00211185"},{"key":"e_1_2_1_11_2","unstructured":"R. T.Brady(ed.) Relevant Logics and Their Rivals Volume II. Western Philosophy Series (Ashgate Aldershot and Burlington 2003)."},{"key":"e_1_2_1_12_2","doi-asserted-by":"crossref","unstructured":"S.Burris andH. P.Sankappanavar A Course in Universal Algebra. Graduate Texts in Mathematics (Springer\u2010Verlag 1981).","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"e_1_2_1_13_2","doi-asserted-by":"crossref","unstructured":"J.Czelakowski Protoalgebraic Logics (Kluwer 2001).","DOI":"10.1007\/978-94-017-2807-2"},{"key":"e_1_2_1_14_2","doi-asserted-by":"crossref","unstructured":"J. M.Dunn Partial gaggles applied to logics with restricted structural rules. In: Substructural Logics (K. Do\u0161en and P. Schroeder\u2010Heister eds.) pp. 63\u2013108 (Clarendon Press 1993).","DOI":"10.1093\/oso\/9780198537779.003.0004"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.2307\/2214128"},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00257480"},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1024621922509"},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19900360606"},{"key":"e_1_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-006-8305-5"},{"key":"e_1_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.1023\/B:STUD.0000037126.29193.09"},{"key":"e_1_2_1_21_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"e_1_2_1_22_2","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196702001048"},{"key":"e_1_2_1_23_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200610018"},{"key":"e_1_2_1_24_2","doi-asserted-by":"crossref","unstructured":"P.Jipsen andC.Tsinakis A survey of residuated lattices. In: Ordered Algebraic Structures (J. Martinez ed.) pp. 19\u201356 (Kluwer 2002).","DOI":"10.1007\/978-1-4757-3627-4_3"},{"key":"e_1_2_1_25_2","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S1385-7258(58)50024-9","article-title":"Remarks on sentential logics","volume":"61","author":"\u0141o\u015b J.","year":"1958","journal-title":"Proc. Kon. Nederl. Akad. van Wetenschappen, Series A"},{"key":"e_1_2_1_26_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02219810"},{"key":"e_1_2_1_27_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02120525"},{"key":"e_1_2_1_28_2","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093890896"},{"key":"e_1_2_1_29_2","doi-asserted-by":"crossref","unstructured":"R. K.Meyer Improved decision procedures for pure relevant logic. In: Logic Meaning and Computation (M. Zeleny and C. A. Anderson eds.) pp. 191\u2013217 (Kluwer 2001).","DOI":"10.1007\/978-94-010-0526-5_9"},{"key":"e_1_2_1_30_2","first-page":"407","article-title":"Algebraic analysis of entailment, I","volume":"15","author":"Meyer R. K.","year":"1972","journal-title":"Logique et Analyse N. S."},{"key":"e_1_2_1_31_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02379225"},{"key":"e_1_2_1_32_2","unstructured":"J. S.Olson J. G.Raftery andC. J.van Alten Structural completeness in substructural logics. Manuscript 2005."},{"key":"e_1_2_1_33_2","doi-asserted-by":"crossref","unstructured":"H.Ono Semantics for substructural logics. In: Substructural Logics (P. Schroeder\u2010Heister and K. Do\u0161en eds.) pp. 259\u2013291 (Clarendon Press 1993).","DOI":"10.1093\/oso\/9780198537779.003.0010"},{"key":"e_1_2_1_34_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025171301247"},{"key":"e_1_2_1_35_2","doi-asserted-by":"publisher","DOI":"10.2307\/2273798"},{"key":"e_1_2_1_36_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00649991"},{"key":"e_1_2_1_37_2","doi-asserted-by":"crossref","unstructured":"R.Routley andR. K.Meyer The semantics of entailment. In: Truth Syntax and Modality (H. Leblanc ed.) pp. 99\u2013243 (North\u2010Holland 1973).","DOI":"10.1016\/S0049-237X(08)71541-6"},{"key":"e_1_2_1_38_2","unstructured":"R.Routley R. K.Meyer V.Plumwood andR. T.Brady Relevant Logics and Their Rivals Volume I (Ridgeview Publishing Company 1982)."},{"key":"e_1_2_1_39_2","doi-asserted-by":"publisher","DOI":"10.2307\/2216261"},{"key":"e_1_2_1_40_2","unstructured":"P. B.Thistlewaite M. A.McRobbie andR. K.Meyer Automated Theorem\u2010Proving in Non\u2010Classical Logics (Pitman 1988)."},{"key":"e_1_2_1_41_2","unstructured":"A. S.Troelstra Lectures on Linear Logic. CSLI Lecture Notes No. 29 (CSLI 1992)."},{"key":"e_1_2_1_42_2","doi-asserted-by":"publisher","DOI":"10.1023\/B:STUD.0000032087.02579.e2"},{"key":"e_1_2_1_43_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02123806"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.200610052","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.200610052","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,18]],"date-time":"2024-02-18T04:08:19Z","timestamp":1708229299000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.200610052"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,26]]},"references-count":42,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2007,11]]}},"alternative-id":["10.1002\/malq.200610052"],"URL":"https:\/\/doi.org\/10.1002\/malq.200610052","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,9,26]]}}}