{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,31]],"date-time":"2026-07-31T09:25:43Z","timestamp":1785489943953,"version":"3.56.0"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2022,3,7]],"date-time":"2022-03-07T00:00:00Z","timestamp":1646611200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,3,7]],"date-time":"2022-03-07T00:00:00Z","timestamp":1646611200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2022,6]]},"DOI":"10.1007\/s11787-022-00303-x","type":"journal-article","created":{"date-parts":[[2022,3,7]],"date-time":"2022-03-07T08:03:16Z","timestamp":1646640196000},"page":"355-380","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras"],"prefix":"10.1007","volume":"16","author":[{"given":"Ciro","family":"Russo","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,3,7]]},"reference":[{"key":"303_CR1","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1017\/S0960129500000189","volume":"3","author":"S Abramsky","year":"1993","unstructured":"Abramsky, S., Vickers, S.: Quantales, observational logic and process semantics. Math. Structures Comput. Sci. 3, 161\u2013227 (1993)","journal-title":"Math. Structures Comput. Sci."},{"issue":"1\u20133","key":"303_CR2","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s11225-006-8299-z","volume":"83","author":"WJ Blok","year":"2006","unstructured":"Blok, W.J., J\u00f3nsson, B.: Equivalence of consequence operations. Studia Logica 83(1\u20133), 91\u2013110 (2006)","journal-title":"Studia Logica"},{"key":"303_CR3","volume-title":"Residuation Theory","author":"TS Blyth","year":"1972","unstructured":"Blyth, T.S., Janowitz, M.F.: Residuation Theory. Pergamon Press, Oxford (1972)"},{"key":"303_CR4","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0022-4049(89)90147-3","volume":"62","author":"U Berni-Canani","year":"1989","unstructured":"Berni-Canani, U., Borceux, F., Succi-Cruciani, R.: A theory of quantale sets. J. Pure Appl. Algebra 62, 123\u2013136 (1989)","journal-title":"J. Pure Appl. Algebra"},{"key":"303_CR5","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0166-8641(89)90018-7","volume":"31","author":"F Borceux","year":"1989","unstructured":"Borceux, F., Van Den Bossche, G.: An essay on non-commutative topology. Topol. Appl. 31, 203\u2013223 (1989)","journal-title":"Topol. Appl."},{"key":"303_CR6","first-page":"209","volume":"34","author":"F Borceux","year":"1993","unstructured":"Borceux, F., Cruciani, R.: Sheaves on a quantale. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g. 34, 209\u2013218 (1993)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g."},{"issue":"2","key":"303_CR7","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1017\/S175502031900008X","volume":"12","author":"P Cintula","year":"2019","unstructured":"Cintula, P., Gil-F\u00e9rez, J., Moraschini, T., Paoli, F.: An abstract approach to consequence relations. Rev. Symbol. Logic 12(2), 331\u2013371 (2019)","journal-title":"Rev. Symbol. Logic"},{"key":"303_CR8","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1023\/A:1005267714448","volume":"65","author":"ME Coniglio","year":"2000","unstructured":"Coniglio, M.E., Miraglia, F.: Non-Commutative Topology and Quantales. Studia Logica 65, 223\u2013236 (2000)","journal-title":"Studia Logica"},{"key":"303_CR9","first-page":"23","volume":"38","author":"J Czelakowski","year":"2004","unstructured":"Czelakowski, J.: Equivalential logics (after 25 years of investigations). Rep. Math. Logic 38, 23\u201336 (2004)","journal-title":"Rep. Math. Logic"},{"key":"303_CR10","doi-asserted-by":"publisher","first-page":"1481","DOI":"10.1016\/j.ins.2006.09.002","volume":"177","author":"A Di Nola","year":"2007","unstructured":"Di Nola, A., Russo, C.: \u0141ukasiewicz Transform and its application to compression and reconstruction of digital images. Inf. Sci. 177, 1481\u20131498 (2007)","journal-title":"Inf. Sci."},{"key":"303_CR11","unstructured":"Font, J. M.: Abstract Algebraic Logic \u2013 An Introductory Textbook. College Publications, ISBN 978-1-84890-207-7, (2006)"},{"issue":"1","key":"303_CR12","first-page":"1","volume":"221","author":"N Galatos","year":"2016","unstructured":"Galatos, N., Gil-F\u00e9rez, J.: Modules over Quantaloids: Applications to the Isomorphism Problem in Algebraic Logic and $$\\pi $$-institutions. J. Pure Appl. Algeb. 221(1), 1\u201324 (2016)","journal-title":"J. Pure Appl. Algeb."},{"issue":"3","key":"303_CR13","doi-asserted-by":"publisher","first-page":"780","DOI":"10.2178\/jsl\/1245158085","volume":"74","author":"N Galatos","year":"2009","unstructured":"Galatos, N., Tsinakis, C.: Equivalence of consequence relations: an order-theoretic and categorical perspective. J. Symb. Logic 74(3), 780\u2013810 (2009)","journal-title":"J. Symb. Logic"},{"key":"303_CR14","doi-asserted-by":"crossref","unstructured":"Girard, J.-Y.: Linear logic. Theor. Comput. Sci. 50 (1987)","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"303_CR15","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/BF02485840","volume":"6","author":"KH Hofmann","year":"1976","unstructured":"Hofmann, K.H., Mislove, M.: Amalgamation in categories with concrete duals. Alg. Univ. 6, 327\u2013347 (1976)","journal-title":"Alg. Univ."},{"issue":"12","key":"303_CR16","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1112\/plms\/s3-12.1.511","volume":"3","author":"JM Howie","year":"1962","unstructured":"Howie, J.M.: Embedding theorems with amalgamation for semigroups. Proc. London Math. Soc. 3(12), 511\u2013534 (1962)","journal-title":"Proc. London Math. Soc."},{"key":"303_CR17","unstructured":"Kimura, N.: On Semigroups. Ph.D. Thesis, Tulane University, (1957)"},{"key":"303_CR18","volume-title":"Handbook of Algebra","author":"D Kruml","year":"2008","unstructured":"Kruml, D., Paseka, J.: Algebraic and Categorical Aspects of Quantales. In: Hazewinkel, M. (ed.) Handbook of Algebra, vol. 5. Elsevier, Amsterdam (2008)"},{"key":"303_CR19","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S1385-7258(58)50024-9","volume":"61","author":"J \u0141o\u015b","year":"1958","unstructured":"\u0141o\u015b, J., Suszko, R.: Remarks on sentential logics. Proc. Kon. Nederl. Akad. van Wetenschappen Ser. A 61, 177\u2013183 (1958)","journal-title":"Proc. Kon. Nederl. Akad. van Wetenschappen Ser. A"},{"key":"303_CR20","doi-asserted-by":"crossref","unstructured":"Moore, D. J., Valckenborgh, F.: Operational Quantum Logic: A Survey and Analysis. In: K. Engesser, D. M. Gabbay and D. Lehmann (Eds.), Handbook of Quantum Logic and Quantum Structures \u2013 Quantum Logic, pp. 389\u2013441, North-Holland, (2009)","DOI":"10.1016\/B978-0-444-52869-8.50013-X"},{"issue":"12","key":"303_CR21","doi-asserted-by":"publisher","first-page":"1298","DOI":"10.1016\/j.apal.2016.08.001","volume":"167","author":"T Moraschini","year":"2016","unstructured":"Moraschini, T.: The semantic isomorphism theorem in abstract algebraic logic. Ann. Pure Appl. Logic 167(12), 1298\u20131331 (2016)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"12","key":"303_CR22","first-page":"99","volume":"II","author":"CJ Mulvey","year":"1986","unstructured":"Mulvey, C.J.: Supplemento ai Rendiconti del Circolo Matematico di Palermo II(12), 99\u2013104 (1986)","journal-title":"Supplemento ai Rendiconti del Circolo Matematico di Palermo"},{"key":"303_CR23","doi-asserted-by":"crossref","unstructured":"Mulvey, C. J., Nawaz, M.: Quantales: Quantale Sets. In: Theory and Decision Library Series B mathematics and statistics, Vol. 32, Kluwer Academic Publication, Dordrecht, (1995), pp. 159\u2013217","DOI":"10.1007\/978-94-011-0215-5_8"},{"key":"303_CR24","unstructured":"Nkuimi-Jugnia, C.: Amalgamation property and epimorphisms in the category of modules over a quantale. Rap. s\u00e9minaire 303, D\u00e9partement de math\u00e9matique UCL (2000), pp. 1\u20138"},{"key":"303_CR25","first-page":"19","volume":"I","author":"J Paseka","year":"2002","unstructured":"Paseka, J.: A note on nuclei of quantale modules. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g. XLII I, 19\u201334 (2002)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g. XLII"},{"key":"303_CR26","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-94-017-1201-9_11","volume-title":"Current Research in Operational Quantum Logic: Algebras, Categories and Languages","author":"P Resende","year":"2000","unstructured":"Resende, P.: Quantales and observational semantics. In: Coecke, B., Moore, D., Wilce, A. (eds.) Current Research in Operational Quantum Logic: Algebras, Categories and Languages, vol. 111, pp. 263\u2013288. Kluwer Academic Publishers, Dordrecht (2000)"},{"issue":"3","key":"303_CR27","doi-asserted-by":"publisher","first-page":"903","DOI":"10.2178\/jsl\/1154698583","volume":"71","author":"JG Raftery","year":"2006","unstructured":"Raftery, J.G.: Correspondences between gentzen and hilbert systems. J. Symbol. Logic 71(3), 903\u2013957 (2006)","journal-title":"J. Symbol. Logic"},{"issue":"52","key":"303_CR28","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1112\/plms\/s3-52.1.119","volume":"3","author":"J Renshaw","year":"1986","unstructured":"Renshaw, J.: Extension and amalgamation in monoids and semigroups. Proc. London Math. Soc. 3(52), 119\u2013141 (1986)","journal-title":"Proc. London Math. Soc."},{"key":"303_CR29","unstructured":"Rosenthal, K. I.: Quantales and their applications. Longman Scientific and Technical, (1990)"},{"key":"303_CR30","unstructured":"Russo, C.: Quantale Modules, with Applications to Logic and Image Processing. Ph.D. Thesis, University of Salerno \u2013 Italy, (2007)"},{"issue":"4","key":"303_CR31","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1093\/logcom\/exn088","volume":"20","author":"C Russo","year":"2010","unstructured":"Russo, C.: Quantale Modules and their Operators, with Applications. J. Logic Comput. 20(4), 917\u2013946 (2010)","journal-title":"J. Logic Comput."},{"issue":"2","key":"303_CR32","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1016\/j.apal.2012.09.006","volume":"164","author":"C Russo","year":"2013","unstructured":"Russo, C.: An order-theoretic analysis of interpretations among propositional deductive systems. Ann. Pure Appl. Logic 164(2), 112\u2013130 (2013)","journal-title":"Ann. Pure Appl. Logic"},{"key":"303_CR33","doi-asserted-by":"crossref","unstructured":"Russo, C.: Corrigendum to \u201cAn order-theoretic analysis of interpretations among propositional deductive systems\u201d [Ann. Pure Appl. Logic 164 (2) (2013) 112-130]. Annals of Pure and Applied Logic 167 (3) (2016), 392\u2013394","DOI":"10.1016\/j.apal.2015.11.004"},{"issue":"2","key":"303_CR34","first-page":"405","volume":"2","author":"C Russo","year":"2016","unstructured":"Russo, C.: Quantales and their modules: projective objects, ideals, and congruences. South Am. J. Logic 2(2), 405\u2013424 (2016)","journal-title":"South Am. J. Logic"},{"issue":"2","key":"303_CR35","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1093\/logcom\/9.2.149","volume":"9","author":"A Sernadas","year":"1999","unstructured":"Sernadas, A., Sernadas, C., Caleiro, C.: Fibring of logics as a categorial construction. J. Logic Comput. 9(2), 149\u2013179 (1999)","journal-title":"J. Logic Comput."},{"issue":"2","key":"303_CR36","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s11787-011-0032-7","volume":"5","author":"A Sernadas","year":"2011","unstructured":"Sernadas, A., Sernadas, C., Rasga, J.: On combined connectives. Logica Universalis 5(2), 205\u2013224 (2011)","journal-title":"Logica Universalis"},{"key":"303_CR37","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/s00012-008-2038-4","volume":"58","author":"SA Solovyov","year":"2008","unstructured":"Solovyov, S.A.: On the category $$Q$$-Mod. Alg. Univ. 58, 35\u201358 (2008)","journal-title":"Alg. Univ."},{"key":"303_CR38","unstructured":"Tarski, A.: in collaboration with Mostowski, A., and Robinson, R. M.; Undecidable Theories. North-Holland, Amsterdam, (1953)"},{"key":"303_CR39","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1090\/S0002-9947-1939-1501995-3","volume":"45","author":"M Ward","year":"1939","unstructured":"Ward, M., Dilworth, R.P.: Residuated lattices. Trans. Am. Math. Soc. 45, 335\u2013354 (1939)","journal-title":"Trans. Am. Math. Soc."},{"key":"303_CR40","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi- Basic Theory of Consequence Operations","author":"R W\u00f3jcicki","year":"1988","unstructured":"W\u00f3jcicki, R.: Theory of Logical Calculi- Basic Theory of Consequence Operations. Kluwer Academic Publishers, Dordrecht (1988)"},{"key":"303_CR41","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/BF02483940","volume":"14","author":"W Tholen","year":"1982","unstructured":"Tholen, W.: Amalgamations in categories. Alg. Univ. 14, 391\u2013397 (1982)","journal-title":"Alg. Univ."},{"issue":"1","key":"303_CR42","doi-asserted-by":"publisher","first-page":"41","DOI":"10.2307\/2274953","volume":"55","author":"DN Yetter","year":"1990","unstructured":"Yetter, D.N.: Quantales and (Noncommutative) Linear Logic. J. Symbolic Logic 55(1), 41\u201364 (1990)","journal-title":"J. Symbolic Logic"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00303-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-022-00303-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00303-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,11]],"date-time":"2022-07-11T11:30:36Z","timestamp":1657539036000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-022-00303-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,7]]},"references-count":42,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2022,6]]}},"alternative-id":["303"],"URL":"https:\/\/doi.org\/10.1007\/s11787-022-00303-x","relation":{"is-basis-for":[{"id-type":"doi","id":"10.52843\/cassyni.8pvsj1","asserted-by":"object"}]},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,3,7]]},"assertion":[{"value":"21 November 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 January 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 March 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}