{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T20:32:26Z","timestamp":1768249946951,"version":"3.49.0"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2006,6,1]],"date-time":"2006-06-01T00:00:00Z","timestamp":1149120000000},"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":[[2006,6]]},"DOI":"10.1007\/s11225-006-8305-5","type":"journal-article","created":{"date-parts":[[2006,7,13]],"date-time":"2006-07-13T10:36:05Z","timestamp":1152786965000},"page":"279-308","source":"Crossref","is-referenced-by-count":52,"title":["Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL"],"prefix":"10.1007","volume":"83","author":[{"given":"Nikolaos","family":"Galatos","sequence":"first","affiliation":[]},{"given":"Hiroakira","family":"Ono","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8305_CR1","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0304-3975(88)90037-0","volume":"2\u20133","author":"A. AvRON","year":"1988","unstructured":"AvRON, A., \u2018The semantics and proof theory of linear logic\u2019, Theoret. Comput. Sci. 57, 2\u20133 (1988), 161\u2013184.","journal-title":"Theoret. Comput. Sci. 57"},{"key":"8305_CR2","doi-asserted-by":"crossref","first-page":"165","DOI":"10.4064\/cm-25-2-165-176","volume":"25","author":"P. D. BACSICH","year":"1972","unstructured":"BACSICH, P. D., \u2018Injectivity in model theory\u2019, Colloquium Mathematicum 25 (1972), 165\u2013176.","journal-title":"Colloquium Mathematicum"},{"key":"8305_CR3","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF02485230","volume":"5","author":"P. D. BACSICH","year":"1975","unstructured":"BACSICH, P. D., \u2018Amalgamation properties and interpolation theorems for equational theories\u2019, Algebra Universalis 5 (1975), 45\u201355.","journal-title":"Algebra Universalis"},{"key":"8305_CR4","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s00012-003-1822-4","volume":"1","author":"P. BAHLS","year":"2003","unstructured":"BAHLS, P., J. COLE, N. GALATOS, P. JIPSEN, and C. TSINAKIS, \u2018Cancellative residu-ated lattices\u2019, Algebra Universalis 50, 1 (2003), 83\u2013106.","journal-title":"Algebra Universalis 50"},{"key":"8305_CR5","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1023\/B:STUD.0000037127.15182.2a","volume":"2","author":"P. BELARDINELLI","year":"2004","unstructured":"BELARDINELLI, P., P. JIPSEN, and H. ONO, \u2018Algebraic aspects of cut elimination\u2019, Studio, Logica 77, 2 (2004), 209\u2013240.","journal-title":"Studio, Logica 77"},{"key":"8305_CR6","unstructured":"BLOK, W. J., and B. JONSSON, \u2018Algebraic structures for logic\u2019, lecture series given at the symposium \u201cAlgebraic Structures for Logic\u201d, New Mexico State University, Las Cruces, Jan. 8\u201312, 1999. Available on-line at http:\/\/math.nmsu.edu\/ holysymp\/lectures.html"},{"key":"8305_CR7","doi-asserted-by":"crossref","unstructured":"BLOK, W. J., and B. JONSSON, \u2018Equivalence of consequence operations\u2019, Studia Logica 91\u2013110 of this issue.","DOI":"10.1007\/s11225-006-8299-z"},{"key":"8305_CR8","doi-asserted-by":"crossref","unstructured":"BLOK, W. J., and D. PlGOZZI, \u2018Algebraizable logics\u2019, Memoirs of the AMSv. 77, no. 396, 1989.","DOI":"10.1090\/memo\/0396"},{"key":"8305_CR9","volume-title":"Algebraic logic (Budapest, 1988), 75\u2013109, Colloq. Math. Soc. Jdnos Bolyai, 54","author":"W. J. BLOK","year":"1991","unstructured":"BLOK, W. J., and D. PIGOZZI, \u2018Local deduction theorems in algebraic logic\u2019, Algebraic logic (Budapest, 1988), 75\u2013109, Colloq. Math. Soc. Jdnos Bolyai, 54, North-Holland, Amsterdam, 1991."},{"key":"8305_CR10","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/s000120200000","volume":"3","author":"W. J. BLOK","year":"2002","unstructured":"BLOK, W. J., and C. J. VAN ALTEN, \u2018The finite embeddability property for residuated lattices, pocrims and BCK-algebras\u2019, Algebra Universalis 48, 3 (2002), 253\u2013271.","journal-title":"Algebra Universalis 48"},{"key":"8305_CR11","unstructured":"BLOK, W. J., and C. J. VAN ALTEN, \u2018On the finite embeddability property for residuated ordered groupoids\u2019, Trans. Amer. Math. Soc., to appear."},{"key":"8305_CR12","doi-asserted-by":"crossref","unstructured":"BURRIS, S., and H. P. SANKAPPANAVAR, A Course in Univeral Algebra, Graduate Texts in Mathematics, v. 78, Springer-Verlag, 1981.","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"8305_CR13","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1142\/S0218196703001511","volume":"4","author":"K. BLOUNT","year":"2003","unstructured":"BLOUNT, K., and C. TsiNAKIS, \u2018The structure of residuated lattices\u2019, Internal. J. Algebra Comput. 13, 4 (2003), 437\u2013461.","journal-title":"Internal. J. Algebra Comput. 13"},{"key":"8305_CR14","volume-title":"Trends in Logic - Studio, Logica Library 7","author":"R. CIGNOLI","year":"2000","unstructured":"CIGNOLI, R., I. D'OTTAVIANO, and D. MUNDICI, \u2018Algebraic foundations of many-valued reasoning\u2019, Trends in Logic - Studio, Logica Library 7. Kluwer Academic Publishers, Dordrecht, 2000."},{"key":"8305_CR15","volume-title":"Trends in Logic - Studia Logica Library 10","author":"J. CZELAKOWSKI","year":"2001","unstructured":"CZELAKOWSKI, J., \u2018Protoalgebraic logics\u2019, Trends in Logic - Studia Logica Library 10. Kluwer Academic Publishers, Dordrecht, 2001."},{"key":"8305_CR16","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/BF00370679","volume":"50","author":"J. CZELAKOWSKI","year":"1991","unstructured":"CZELAKOWSKI, J., and W. DZIOBIAK, \u2018A deduction theorem schema for deductive systems of propositional logics\u2019, Studia Logica 50 (1991), 385\u2013390.","journal-title":"Studia Logica"},{"key":"8305_CR17","volume-title":"Models, algebras, and proofs (Bogota, 1995), 187\u2013265, Lecture Notes in Pure and Appl. Math., 203","author":"J. CZELAKOWSKI","year":"1999","unstructured":"CZELAKOWSKI J., and D. PIGOZZI, \u2018Amalgamation and interpolation in abstract algebraic logic\u2019, Models, algebras, and proofs (Bogota, 1995), 187\u2013265, Lecture Notes in Pure and Appl. Math., 203, Dekker, New York, 1999."},{"key":"8305_CR18","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1023\/A:1024621922509","volume":"1\u20132","author":"J.M. FONT","year":"2003","unstructured":"FONT, J.M., R. JANSANA, and D. PiGOZZI, \u2018A survey of abstract algebraic logic\u2019, Abstract algebraic logic, Part II (Barcelona, 1997), Studia Logica 74, 1\u20132 (2003), 13\u201397.","journal-title":"Studia Logica 74"},{"key":"8305_CR19","unstructured":"GALATOS, N., \u2018Varieties of residuated lattices\u2019, Ph.D. thesis, Vanderbilt University, 2003."},{"key":"8305_CR20","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1023\/B:STUD.0000032086.42963.7c","volume":"2","author":"N. GALATOS","year":"2004","unstructured":"GALATOS, N., \u2018Equational bases for joins of residuated-lattice varieties\u2019, Studia Logica 76, 2 (2004), 227\u2013240.","journal-title":"Studia Logica 76"},{"key":"8305_CR21","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/s00012-004-1870-4","volume":"2","author":"N. GALATOS","year":"2005","unstructured":"GALATOS, N., \u2018Minimal varieties of residuated lattices\u2019, Algebra Universalis 52, 2 (2005), 215\u2013239.","journal-title":"Algebra Universalis 52"},{"key":"8305_CR22","unstructured":"GALATOS, N., and H. ONO, \u2018Glivenko theorems and other translations for substruc-tural logics over FL\u2019, manuscript."},{"key":"8305_CR23","unstructured":"GALATOS, N., and H. ONO, \u2018Cut elimination and strong separation for non-associative substructural logics\u2019, manuscript."},{"key":"8305_CR24","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1023\/B:STUD.0000037126.29193.09","volume":"2","author":"N. GALATOS","year":"2004","unstructured":"GALATOS, N., and J. RAFTERY, \u2018Adding involution to residuated structures\u2019, Studia Logica 77, 2 (2004), 181\u2013207.","journal-title":"Studia Logica 77"},{"key":"8305_CR25","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1016\/j.jalgebra.2004.07.002","volume":"1","author":"N. GALATOS","year":"2005","unstructured":"GALATOS, N., and C. TsiNAKIS, \u2018Generalized MV-algebras\u2019, Journal of Algebra 283, 1 (2005), 254\u2013291.","journal-title":"Journal of Algebra 283"},{"key":"8305_CR26","unstructured":"GALATOS, N., and C. TsiNAKIS, \u2018Equivalence of consequence relations: An order-theoretic and categorical perspective\u2019, in preparation."},{"key":"8305_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of fuzzy logic, Trends in Logic - Studia Logica Library 4","author":"P. HAJEK","year":"1998","unstructured":"HAJEK, P., Metamathematics of fuzzy logic, Trends in Logic - Studia Logica Library 4. Kluwer Academic Publishers, Dordrecht, 1998."},{"key":"8305_CR28","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1142\/S0218196702001048","volume":"4","author":"J.B. HART","year":"2002","unstructured":"HART J.B., L. RAFTER, and C. TSINAKIS, \u2018The structure of commutative residuated lattices\u2019, Internat. J. Algebra Comput. 12, 4 (2002), 509\u2013524.","journal-title":"Internat. J. Algebra Comput. 12"},{"key":"8305_CR29","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-1-4757-3627-4_3","volume-title":"Ordered Algebraic Structures","author":"P. JIPSEN","year":"2002","unstructured":"JIPSEN, P., and C. TSINAKIS, \u2018A survey of residuated lattices\u2019, in J. Martinez (ed.), Ordered Algebraic Structures, Kluwer Academic Publish., Dordrecht, 2002, pp. 19\u201356."},{"key":"8305_CR30","volume-title":"The theory of models. Proceedings of the 1963 Symposium at Berkeley","author":"B. JONSSON","year":"1965","unstructured":"JONSSON, B., \u2018Extentions of relational structures\u2019, The theory of models. Proceedings of the 1963 Symposium at Berkeley, North-Holland, Amsterdam, 1965."},{"key":"8305_CR31","unstructured":"KOWALSKI, T., and H. ONO, \u2018Residuated lattices: an algebraic glimpse at logics without contraction\u2019, monograph, March, 2002."},{"key":"8305_CR32","doi-asserted-by":"crossref","unstructured":"MADARASZ, J., \u2018Interpolation and amalgamation; Pushing the limits. Part I\u2019, Studio, Logica (1998), 311\u2013345.","DOI":"10.1023\/A:1005064504044"},{"key":"8305_CR33","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/BF00370479","volume":"4","author":"L. L. MAKSIMOVA","year":"1979","unstructured":"MAKSIMOVA, L. L., \u2018Interpolation properties of superintuitionistic logics\u2019, Studio, Logical, 4 (1979), 419\u2013428.","journal-title":"Studio, Logical"},{"key":"8305_CR34","first-page":"279","volume":"32","author":"D. MUNDICI","year":"1987","unstructured":"MUNDICI, D., \u2018Bounded commutative BCK-algebras have the amalgamation property\u2019, Mathematical, Japonica 32 (1987), 279\u2013282.","journal-title":"Mathematical, Japonica"},{"key":"8305_CR35","doi-asserted-by":"crossref","first-page":"169","DOI":"10.2307\/2273798","volume":"50","author":"H. ONO","year":"1985","unstructured":"ONO, H., and M. KOMORI, \u2018Logics without the contraction rule\u2019, J. Symbolic Logic 50 (1985), 169\u2013201.","journal-title":"J. Symbolic Logic"},{"key":"8305_CR36","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/BF01237716","volume":"23","author":"H. ONO","year":"1986","unstructured":"ONO, H., \u2018Interpolation and the Robinson property for logics not closed under the Boolean operations\u2019, Algebra Universalis 23 (1986), 111\u2013122.","journal-title":"Algebra Universalis"},{"key":"8305_CR37","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/978-1-4613-0609-2_8","volume-title":"Mathematical logic","author":"H. ONO","year":"1990","unstructured":"ONO, H., \u2018Structural rules and a logical hierarchy\u2019, Mathematical logic, Plenum, New York, 1990, pp. 95\u2013104."},{"key":"8305_CR38","volume-title":"Substructural logics (Tubingen, 1990), 259\u2013291, Stud. Logic Comput. 2","author":"H. ONO","year":"1993","unstructured":"ONO, H., \u2018Semantics for substructural logics\u2019, Substructural logics (Tubingen, 1990), 259\u2013291, Stud. Logic Comput. 2, Oxford Univ. Press, New York, 1993."},{"key":"8305_CR39","doi-asserted-by":"crossref","unstructured":"ONO, H., \u2018Proof-theoretic methods in nonclassical logic - an introduction\u2019, Theories of types and proofs (Tokyo, 1997), 207\u2013254, MS J Mem. 2, Math. Soc. Japan, Tokyo, 1998.","DOI":"10.2969\/msjmemoirs\/00201C060"},{"key":"8305_CR40","first-page":"263","volume-title":"The Tbilisi Symposium on Logic, Language and Computation: selected papers","author":"H. ONO","year":"1998","unstructured":"ONO, H., \u2018Decidability and finite model property of substructural logics\u2019, The Tbilisi Symposium on Logic, Language and Computation: selected papers, J. Ginzburg et al (eds.), pp. 263\u2013274, Stud. Logic Lang. Inform., CSLI Publications, Stanford, CA, 1998."},{"key":"8305_CR41","doi-asserted-by":"crossref","unstructured":"ONO, H., \u2018Substructural logics and residuated lattices - an introduction\u2019, in V.F. Hendricks and J. Malinowski (eds.), Trends in Logic 20, 50 Years of Studia Logic, Kluwer Academic Publishers, 2003, pp. 177\u2013212.","DOI":"10.1007\/978-94-017-3598-8_8"},{"key":"8305_CR42","doi-asserted-by":"crossref","first-page":"790","DOI":"10.2307\/2586501","volume":"2","author":"M. OKADA","year":"1999","unstructured":"OKADA, M., and K. TERUI, \u2018The finite model property for various fragments of intu-itionistic linear logic\u2019, J. Symbolic Logic 64, 2 (1999), 790\u2013802.","journal-title":"J. Symbolic Logic 64"},{"key":"8305_CR43","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-3179-9","volume-title":"Substructural logics: a primer, Trends in Logic - Studia Logica Library 13","author":"P. PAOLI","year":"2002","unstructured":"PAOLI, P., Substructural logics: a primer, Trends in Logic - Studia Logica Library 13. Kluwer Academic Publishers, Dordrecht, 2002."},{"key":"8305_CR44","unstructured":"RESTALL, G., An introduction to substructural logics, R.outledge, 2000."},{"key":"8305_CR45","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1006\/jabr.2001.9039","volume":"2","author":"C. J. ALTEN VAN","year":"2002","unstructured":"VAN ALTEN, C. J., \u2018R.epresentable biresiduated lattices\u2019, J. Algebra 247, 2 (2002), 672\u2013691.","journal-title":"J. Algebra 247"},{"key":"8305_CR46","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/B:STUD.0000032087.02579.e2","volume":"2","author":"C. J. ALTEN VAN","year":"2004","unstructured":"VAN ALTEN, C. J., and J. RAFTERY, \u2018Rule separation and embedding theorems for logics without weakening\u2019, Studia Logica 76, 2 (2004), 241\u2013274.","journal-title":"Studia Logica 76"},{"key":"8305_CR47","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1090\/S0002-9947-1939-1501995-3","volume":"45","author":"M. WARD","year":"1939","unstructured":"WARD, M., and R. P. DILWORTH, \u2018Residuated lattices\u2019, Trans. Amer. Math. Soc. 45 (1939), 335\u2013354.","journal-title":"Trans. Amer. Math. Soc."},{"key":"8305_CR48","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-1-4899-0548-2_2","volume-title":"Foundations of logic and linguistics (Salzburg, 1983)","author":"A. WRONSKI","year":"1985","unstructured":"WRONSKI, A., \u2018On a form of equational interpolation property\u2019, Foundations of logic and linguistics (Salzburg, 1983), 23\u201329, Plenum, New York, 1985."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-8305-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-006-8305-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-8305-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:40Z","timestamp":1559384680000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-006-8305-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6]]},"references-count":48,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["8305"],"URL":"https:\/\/doi.org\/10.1007\/s11225-006-8305-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6]]}}}