{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,5]],"date-time":"2024-06-05T15:05:42Z","timestamp":1717599942982},"reference-count":23,"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-8312-6","type":"journal-article","created":{"date-parts":[[2006,7,13]],"date-time":"2006-07-13T06:36:05Z","timestamp":1152772565000},"page":"425-445","source":"Crossref","is-referenced-by-count":10,"title":["On Varieties of Biresiduation Algebras"],"prefix":"10.1007","volume":"83","author":[{"given":"C. J.","family":"van Alten","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"8312_CR1","first-page":"79","volume":"34","author":"W. J. BLOK","year":"2000","unstructured":"BLOK, W. J., and S.B. LA FALCE, \u2018Komori identities in algebraic logic\u2019, Reports on Math. Logic 34 (2000), 79\u2013106.","journal-title":"Reports on Math. Logic"},{"key":"8312_CR2","doi-asserted-by":"crossref","unstructured":"BLOK, W. J., and D. PlGOZZI, \u2018Algebraizable Logics\u2019, Memoirs of the American Mathematical Society, Number 396, Amer. Math. Soc., Providence, 1989.","DOI":"10.1090\/memo\/0396"},{"key":"8312_CR3","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/BF01195727","volume":"32","author":"W. J. BLOK","year":"1994","unstructured":"BLOK, W. J., and D. PlGOZZI, \u2018On the structure of varieties with equationally definable principal congruences IIP, Algebra Universalis 32 (1994), 545\u2013608.","journal-title":"Algebra Universalis"},{"key":"8312_CR4","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/BF01190766","volume":"33","author":"W. J. BLOK","year":"1995","unstructured":"BLOK, W. J., and J. G. RAFTERY, \u2018On the quasivariety of BCK-algebras and its subvarieties\u2019, Algebra Universalis 33 (1995), 68\u201390.","journal-title":"Algebra Universalis"},{"key":"8312_CR5","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":"8312_CR6","doi-asserted-by":"crossref","first-page":"4141","DOI":"10.1090\/S0002-9947-04-03654-2","volume":"357","author":"W. J. BLOK","year":"2005","unstructured":"BLOK, W. J., and C. J. VAN ALTEN, \u2018On the finite embeddability property for residuated ordered groupoids\u2019, Trans. Amer. Math. Soc. 357 (2005), 4141\u20134157.","journal-title":"Trans. Amer. Math. Soc."},{"key":"8312_CR7","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/s000120050016","volume":"37","author":"L CHAJDA","year":"1997","unstructured":"CHAJDA, L, and R. HALAS, \u2018Finite basis of ideal terms in ideal determined varieties\u2019, Algebra Universalis 37 (1997), 243\u2013252.","journal-title":"Algebra Universalis"},{"key":"8312_CR8","doi-asserted-by":"crossref","unstructured":"GALATOS, N., and H. ONO, \u2018Algebraization, paramerized local deduction theorem and interpolation for substructural logics over FL\u2019, Studio, Logica, 279\u2013308 of this issue.","DOI":"10.1007\/s11225-006-8305-5"},{"key":"8312_CR9","volume-title":"Combinatorics, computability and logic (Constanta, 2001), 97\u2013114, Spinger Ser. Discrete Math. Theor. Comput. Sci.","author":"G. GEORGESCU","year":"2001","unstructured":"GEORGESCU, G., and A. IORGULESCU, \u2018Pseudo-BCK algebras; an extension of BCK algebras\u2019, Combinatorics, computability and logic (Constanta, 2001), 97\u2013114, Spinger Ser. Discrete Math. Theor. Comput. Sci., Springer, London, 2001."},{"key":"8312_CR10","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF01191491","volume":"19","author":"H.-P. GUMM","year":"1984","unstructured":"GUMM, H.-P., and A. URSINI, \u2018Ideals in universal algebras\u2019, Algebra Universalis 19 (1984), 45\u201354.","journal-title":"Algebra Universalis"},{"key":"8312_CR11","doi-asserted-by":"crossref","first-page":"110","DOI":"10.7146\/math.scand.a-10850","volume":"21","author":"B. JONSSON","year":"1967","unstructured":"JONSSON, B., and \u2018Algebras whose congruence lattices are distributive\u2019, Math. Scan-dinavica 21 (1967), 110\u2013121.","journal-title":"Math. Scan-dinavica"},{"key":"8312_CR12","first-page":"87","volume":"29","author":"T. KOWALSKI","year":"1995","unstructured":"KOWALSKI, T., \u2018The bottom of the lattice of BCK-varieties\u2019, Reports on Mathematical Logic 29 (1995), 87\u201393.","journal-title":"Reports on Mathematical Logic"},{"key":"8312_CR13","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/BF01978557","volume":"29","author":"A.M. NURAKUNOV","year":"1990","unstructured":"NURAKUNOV, A.M., \u2018Characterization of relatively distributive quasivarieties of algebras\u2019 (English translation), Algebra and Logic 29 (1990), 451\u2013458.","journal-title":"Algebra and Logic"},{"key":"8312_CR14","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":"8312_CR15","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":"8312_CR16","first-page":"29","volume":"46","author":"J. G. RAFTERY","year":"1997","unstructured":"RAFTERY, J. G., and C. J. VAN ALTEN, \u2018On the algebra of noncommutative residua-tion: polrims and left residuation algebras\u2019, Math. Japonica 46 (1997), 29\u201346.","journal-title":"Math. Japonica"},{"key":"8312_CR17","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1007\/s00012-005-1911-7","volume":"4","author":"C. J. ALTEN VAN","year":"2005","unstructured":"VAN ALTEN, C. J., \u2018On congruence properties in congruence permutable and in ideal determined varieties, with applications\u2019, Algebra Universalis 53, 4 (2005), 433\u2013449.","journal-title":"Algebra Universalis 53"},{"key":"8312_CR18","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/s000120050116","volume":"41","author":"C. J. ALTEN VAN","year":"1999","unstructured":"VAN ALTEN, C. J., and J. G. RAFTERY, \u2018On the lattice of varieties of residuation algebras\u2019, Algebra Universalis 41 (1999), 283\u2013315.","journal-title":"Algebra Universalis"},{"key":"8312_CR19","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/B:STUD.0000032087.02579.e2","volume":"76","author":"C. J. ALTEN VAN","year":"2004","unstructured":"VAN ALTEN, C. J., and J. G. RAFTERY, \u2018R,ule separation and embedding theorems for logics without weakening\u2019, Studia Logica 76 (2004), 241\u2013274.","journal-title":"Studia Logica"},{"key":"8312_CR20","first-page":"55","volume":"2","author":"A. WRONSKI","year":"1974","unstructured":"WRONSKI, A., \u2018The degree of completeness of some fragments of the intuitionistic propositional logic\u2019, Exports on Mathematical Logic 2 (1974), 55\u201362.","journal-title":"Exports on Mathematical Logic"},{"key":"8312_CR21","first-page":"211","volume":"2","author":"A. WRONSKI","year":"1983","unstructured":"WRONSKI, A., \u2018BCK-algebras do not form a variety\u2019, Math. Japonica 28, 2 (1983), 211\u2013213.","journal-title":"Math. Japonica 28"},{"key":"8312_CR22","first-page":"215","volume":"2","author":"A. WRONSKI","year":"1983","unstructured":"WRONSKI, A., \u2018Reflections and distensions of BCK-algebras\u2019, Math. Japonica 28, 2 (1983), 215\u2013225.","journal-title":"Math. Japonica 28"},{"key":"8312_CR23","first-page":"545","volume":"29","author":"A. WRONSKI","year":"1984","unstructured":"WRONSKI, A., and J.K. KABZINSKI, \u2018There is no largest variety of BCK-algebras\u2019, Math. Japonica 29 (1984), 545\u2013549.","journal-title":"Math. Japonica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-8312-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-006-8312-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-8312-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:24:40Z","timestamp":1559370280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-006-8312-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6]]},"references-count":23,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["8312"],"URL":"https:\/\/doi.org\/10.1007\/s11225-006-8312-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6]]}}}