{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T13:18:30Z","timestamp":1648559910863},"reference-count":59,"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-8295-3","type":"journal-article","created":{"date-parts":[[2006,7,13]],"date-time":"2006-07-13T10:36:05Z","timestamp":1152786965000},"page":"5-14","source":"Crossref","is-referenced-by-count":0,"title":["In Memory of Willem Johannes Blok 1947-2003"],"prefix":"10.1007","volume":"83","author":[{"given":"Joel","family":"Berman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wieslaw","family":"Dziobiak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Don","family":"Pigozzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Raftery","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8295_CR1","unstructured":"\u2018The center of the coproduct of distributive lattices with 0,1\u2019, Nieuw Archief voor Wtskunde 22 (1974), 166\u2013169."},{"key":"8295_CR2","first-page":"189","volume":"37","author":"Ph. Dwinger","year":"1975","unstructured":"\u2018Equational classes of closure algebras, I\u2019, (with Ph. Dwinger), Indag. Math. 37 (1975), 189\u2013198.","journal-title":"Indag. Math."},{"key":"8295_CR3","unstructured":"\u2018Finitely generated free interior algebras\u2019, in: G. Kahnbach, (ed.), Proceedings of the Lattice Theory Conference (Ulm, 1975), pp. 5\u20139, Universitat Ulm, Uhn, 1975."},{"key":"8295_CR4","unstructured":"Varieties of Interior Algebras (Ph.D. thesis), The University of Amsterdam, 1976, xii + 251 pp."},{"key":"8295_CR5","doi-asserted-by":"crossref","unstructured":"\u20182K\u00b0 varieties of Heyting algebras not generated by their finite members\u2019, Algebra UmversaUs 7 (1977), 115\u2013117.","DOI":"10.1007\/BF02485420"},{"key":"8295_CR6","unstructured":"\u2018The lattice of modal logics\u2019 (abstract), Bull, of the Section of Logic of the Polish Academy of Sciences 6 (1977), 112\u2013115."},{"key":"8295_CR7","first-page":"315","volume":"3","author":"P. Kohler","year":"1977","unstructured":"\u2018The semigroup of varieties of generalized interior algebras\u2019, (with P. Kohler), Houston J. Math. 3 (1977), 315\u2013327.","journal-title":"Houston J. Math."},{"key":"8295_CR8","doi-asserted-by":"crossref","unstructured":"\u2018The free closure algebra on finitely many generators\u2019, Indag. Math. 39 (1977), 362\u2013379.","DOI":"10.1016\/1385-7258(77)90050-6"},{"key":"8295_CR9","unstructured":"\u2018On the degree of incompleteness of modal logics\u2019, (abstract), Bull, of the Section of Logic of the Polish Academy of Sciences 7 (1978), 167\u2013175."},{"key":"8295_CR10","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1111\/j.1755-2567.1978.tb00170.x","volume":"44","author":"J. Benthem van","year":"1978","unstructured":"\u2018Transitivity follows from Dummett's axiom\u2019, (with J. van Benthem), Theoria 44 (1978), 117\u2013118.","journal-title":"Theoria"},{"key":"8295_CR11","doi-asserted-by":"crossref","unstructured":"\u2018An axiomatization of the modal theory of the veiled recession frame\u2019, Studia Logica 38 (1979), 37\u201347.","DOI":"10.1007\/BF00493671"},{"key":"8295_CR12","doi-asserted-by":"crossref","unstructured":"\u2018The lattice of modal logics: an algebraic investigation\u2019, J. Symbolic Logic 45 (1980), 221\u2013236.","DOI":"10.2307\/2273184"},{"key":"8295_CR13","doi-asserted-by":"crossref","unstructured":"\u2018The lattice of varieties of modal algebras is not strongly atomic\u2019, Algebra Uni-versahs 11 (1980), 285\u2013294.","DOI":"10.1007\/BF02483108"},{"key":"8295_CR14","doi-asserted-by":"crossref","unstructured":"\u2018Pretabular varieties of modal algebras\u2019, Studia Logica 39 (1980), 101\u2013124.","DOI":"10.1007\/BF00370315"},{"key":"8295_CR15","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF02483723","volume":"15","author":"D. Pigozzi","year":"1982","unstructured":"\u2018On the structure of varieties with equationally definable principal congruences,\u2019, (with D. Pigozzi), Algebra Universalis 15 (1982), 195\u2013227.","journal-title":"Algebra Universalis"},{"key":"8295_CR16","doi-asserted-by":"crossref","first-page":"941","DOI":"10.2307\/2273660","volume":"48","author":"P. Kohler","year":"1983","unstructured":"\u2018Algebraic semantics for quasi-classical modal logics\u2019, (with P. Kohler), J. Symbolic Logic 48 (1983), 941\u2013964.","journal-title":"J. Symbolic Logic"},{"key":"8295_CR17","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1007\/BF01203370","volume":"18","author":"P. Kohler","year":"1984","unstructured":"\u2018On the structure of varieties with equationally definable principal congruences, IF, (with P. Kohler and D. Pigozzi), Algebra Universalis 18 (1984), 334\u2013379.","journal-title":"Algebra Universalis"},{"key":"8295_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01190734","volume":"22","author":"D. Pigozzi","year":"1986","unstructured":"\u2018A finite basis theorem for quasi varieties\u2019, (with D. Pigozzi), Algebra Universalis 22 (1986), 1\u201313.","journal-title":"Algebra Universalis"},{"key":"8295_CR19","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/BF00375898","volume":"45","author":"W. Dziobiak","year":"1986","unstructured":"\u2018On the lattice of quasivarieties of Sugihara algebras\u2019, (with W. Dziobiak), Stu-dia Logica 45 (1986), 275\u2013280.","journal-title":"Stu-dia Logica"},{"key":"8295_CR20","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/BF00370269","volume":"45","author":"D. Pigozzi","year":"1986","unstructured":"\u2018Protoalgebraic logics\u2019, (with D. Pigozzi), Studia Logica 45 (1986), 337\u2013369.","journal-title":"Studia Logica"},{"key":"8295_CR21","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1090\/S0002-9947-1987-0891629-3","volume":"302","author":"J. Berman","year":"1987","unstructured":"\u2018The Fraser-Horn and apple properties\u2019, (with J. Berman), Trans. Amer. Soc. 302 (1987), 427\u2013465","journal-title":"Trans. Amer. Soc."},{"key":"8295_CR22","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/BF01195266","volume":"24","author":"J. Berman","year":"1987","unstructured":"\u2018Free spectra of nilpotent varieties\u2019, (with J. Berman), Algebra Universalis 24 (1987), 279\u2013282.","journal-title":"Algebra Universalis"},{"key":"8295_CR23","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1017\/S0022481200028917","volume":"53","author":"D. Pigozzi","year":"1988","unstructured":"\u2018Alfred Tarski's work on general metamathematics\u2019, (with D. Pigozzi), J. Symbolic Logic 53 (1988), 36\u201350.","journal-title":"J. Symbolic Logic"},{"key":"8295_CR24","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0020-0190(88)90070-1","volume":"27","author":"J. Berman","year":"1988","unstructured":"\u2018Positive Boolean dependencies\u2019, (with J. Berman), Information Processing Letters 27 (1988), 147\u2013150.","journal-title":"Information Processing Letters"},{"key":"8295_CR25","first-page":"vi+78","volume":"77","author":"D. Pigozzi","year":"1989","unstructured":"\u2018Algebraizable Logics\u2019, (with D. Pigozzi), Memoirs Amer. Math. Soc. 77 (1989), no. 396, vi+78 pp.","journal-title":"Memoirs Amer. Math. Soc."},{"key":"8295_CR26","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/BF00353657","volume":"5","author":"J. Berman","year":"1989","unstructured":"\u2018Generalizations of Tarski's fixed point theorem for order varieties of complete meet semilattices\u2019, (with J. Berman), Order 5 (1989), 381\u2013392.","journal-title":"Order"},{"key":"8295_CR27","doi-asserted-by":"crossref","unstructured":"\u2018On interpretations of varieties with semilattice reduct\u2019, Algebra Universalis 27 (1990), 299\u2013303.","DOI":"10.1007\/BF01182463"},{"key":"8295_CR28","unstructured":"\u2018Local deduction theorems in algebraic logic\u2019, (with D. Pigozzi), in: H. Andreka, J. Monk, I. Nemeti, (eds.), Algebraic Logic, pp. 75\u2013109, Colloq. Math. Soc. Janos. Bolyai 54, North-Holland, 1991."},{"key":"8295_CR29","first-page":"1","volume-title":"Universal Algebra and Quasigroup Theory","author":"D. Pigozzi","year":"1992","unstructured":"\u2018Algebraic semantics for universal Horn logic without equality\u2019, (with D. Pigozzi), in: A. Romanowska and J.D.H. Smith, (eds.), Universal Algebra and Quasigroup Theory, pp. 1\u201356, Heldermann Verlag, Berlin, 1992."},{"key":"8295_CR30","first-page":"213","volume":"28","author":"J. Berman","year":"1992","unstructured":"\u2018Equational dependencies\u2019, (with J. Berman), J. Inform. Process. Cybernet. EIK 28 (1992), 213\u2013223.","journal-title":"J. Inform. Process. Cybernet. EIK"},{"key":"8295_CR31","first-page":"633","volume":"38","author":"J. Raftery","year":"1993","unstructured":"\u2018Failure of the congruence extension property in BCK-algebras and related structures\u2019, (with J. Raftery), Mathematica Japonica 38 (1993), 633\u2013638.","journal-title":"Mathematica Japonica"},{"key":"8295_CR32","doi-asserted-by":"crossref","unstructured":"\u2018Hoops and their implicational reducts\u2019, (abstract, with I. Ferreirim), in: Algebraic Methods in Computer Science (Warsaw, 1991), pp. 219\u2013230, Banach Center Publications 28, Polish Acad Sci., Warsaw, 1993.","DOI":"10.4064\/-28-1-219-230"},{"key":"8295_CR33","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/BF01195727","volume":"32","author":"D. Pigozzi","year":"1994","unstructured":"\u2018On the structure of varieties with equationally definable principal congruences, IIP, (with D. Pigozzi), Algebra UmversaUs 32 (1994), 545\u2013608.","journal-title":"Algebra UmversaUs"},{"key":"8295_CR34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01188178","volume":"31","author":"D. Pigozzi","year":"1994","unstructured":"\u2018On the structure of varieties with equationally definable principal congruences, IV, (with D. Pigozzi), Algebra Universalis 31 (1994), 1\u201335.","journal-title":"Algebra Universalis"},{"key":"8295_CR35","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/BF01190766","volume":"33","author":"J. Raftery","year":"1995","unstructured":"\u2018On the quasivariety of BCK-algebras and its subvarieties\u2019, (with J. Raftery), Algebra Universalis 33 (1995), 68\u201390.","journal-title":"Algebra Universalis"},{"key":"8295_CR36","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/s000120050060","volume":"38","author":"D. Pigozzi","year":"1997","unstructured":"\u2018On the congruence extension property\u2019, (with D. Pigozzi), Algebra Universalis 38 (1997), 391\u2013394.","journal-title":"Algebra Universalis"},{"key":"8295_CR37","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1006\/jabr.1996.6834","volume":"190","author":"J. Raftery","year":"1997","unstructured":"\u2018Varieties of commutative residuated integral pomonoids and their residuation subreducts\u2019, (with J. Raftery), Journal of Algebra 190 (1997), 280\u2013328.","journal-title":"Journal of Algebra"},{"key":"8295_CR38","unstructured":"\u2018Ideals in quasivarieties of algebras\u2019, (with J. Raftery), in: Models, Algebras and Proofs (Bogota, 1995), (ed. X. Caicedo and C. Montenegro), 167\u2013186, Marcel Dekker, Inc., 1999."},{"key":"8295_CR39","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s000120050156","volume":"43","author":"I. Ferreirim","year":"2000","unstructured":"\u2018On the structure of hoops\u2019, (with I. Ferreirim), Algebra Universalis 43 (2000), 233\u2013257.","journal-title":"Algebra Universalis"},{"key":"8295_CR40","first-page":"79","volume":"34","author":"S. La Falce","year":"2000","unstructured":"\u2018Komori identities in algebraic logic\u2019, (with S. La Falce), Rep. Math. Logic 34 (2000), 79\u2013106.","journal-title":"Rep. Math. Logic"},{"key":"8295_CR41","first-page":"159","volume":"34","author":"C. Alten van","year":"2000","unstructured":"\u2018On the finite embeddability property for residuated lattices, pocrims and BCK algebras\u2019, (abstract, with C. van Alten), Rep. Math. Logic 34 (2000), 159\u2013165.","journal-title":"Rep. Math. Logic"},{"key":"8295_CR42","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s000120050198","volume":"45","author":"J. Raftery","year":"2001","unstructured":"\u2018On congruence modularity in varieties of logic\u2019, (with J. Raftery), Algebra Uni-versahs 45 (2001), 15\u201321.","journal-title":"Algebra Uni-versahs"},{"key":"8295_CR43","first-page":"391","volume":"7","author":"J. Berman","year":"2001","unstructured":"\u2018Stipulations, multivalued logic, and De Morgan algebras\u2019, (with J. Berman), Multiple-Valued Logic 7 (2001), 391\u2013416.","journal-title":"Multiple-Valued Logic"},{"key":"8295_CR44","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/s000120200000","volume":"48","author":"C. Alten van","year":"2002","unstructured":"\u2018The finite embeddability property for residuated lattices, pocrims and BCK-algebras\u2019, (with C. van Alten), Algebra Universalis 48 (2002), 253\u2013271.","journal-title":"Algebra Universalis"},{"key":"8295_CR45","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1023\/A:1024626023417","volume":"74","author":"J. Rebagliato","year":"2003","unstructured":"\u2018Algebraic semantics for deductive systems\u2019, (with J. Rebagliato), Studia Logica 74 (2003), 153\u2013180.","journal-title":"Studia Logica"},{"key":"8295_CR46","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/s00012-003-1837-x","volume":"50","author":"J. Raftery","year":"2003","unstructured":"\u2018Constructing simple residuated lattices\u2019, (with J. Raftery), Algebra Universalis 50 (2003), 385\u2013389.","journal-title":"Algebra Universalis"},{"key":"8295_CR47","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1023\/B:STUD.0000037125.49866.50","volume":"77","author":"J. Berman","year":"2004","unstructured":"\u2018Free Lukasiewicz and hoop residuation algebras\u2019, (with J. Berman), Studia Logica 77 (2004), 153\u2013180.","journal-title":"Studia Logica"},{"key":"8295_CR48","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/s11225-005-0106-8","volume":"78","author":"J. Raftery","year":"2004","unstructured":"\u2018Fragments of fi-mingle\u2019, (with J. Raftery), Studia Logica 78 (2004), 59\u2013106.","journal-title":"Studia Logica"},{"key":"8295_CR49","doi-asserted-by":"crossref","first-page":"4141","DOI":"10.1090\/S0002-9947-04-03654-2","volume":"357","author":"C. Alten van","year":"2005","unstructured":"\u2018On the finite embeddability property for residuated ordered groupoids\u2019, (with C. van Alten), Trans. Amer. Math. Soc. 357 (2005), 4141\u20134157.","journal-title":"Trans. Amer. Math. Soc."},{"key":"8295_CR50","unstructured":"\u2018The Beth property in algebraic logic\u2019, (with E. Hoogland), Studio, Logica 49\u201390 of this issue."},{"key":"8295_CR51","unstructured":"\u2018Equivalence of consequence operations\u2019, (with B. Jonsson), Studia Logica 91\u2013110 of this issue."},{"key":"8295_CR52","unstructured":"\u2018Algebras defined from ordered sets and the varieties they generate\u2019, (with J. Berman), Order, to appear."},{"key":"8295_CR53","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF00370677","volume":"50","author":"D. Pigozzi","year":"1991","unstructured":"\u2018Algebraic Logic\u2019, (with D. Pigozzi), Studia Logica 50 (1991), 365\u2013629.","journal-title":"Studia Logica"},{"key":"8295_CR54","unstructured":"\u2018Algebra and substructural logics\u2019 (with A. Wronski and H. Ono), Proceedings of the Workshop held in Tatsunokuchi, November 10\u201317, 1999, Rep. Math. Logic. 34 (2000), 1\u2013165. Technical Reports, Manuscripts and Lecture Notes"},{"key":"8295_CR55","unstructured":"On the degree of incompleteness of modal logics and the covering relation in the lattice of modal logics, Department of Mathematics, University of Amsterdam, Report 78\u201307, July, 1978, 60 pp."},{"key":"8295_CR56","unstructured":"The algebraization of logic (with P. Kohler and D. Pigozzi), 1983, 102 pp."},{"key":"8295_CR57","unstructured":"Abstract algebraic logic and the deduction theorem (with D. Pigozzi), 1997, 75 pp. Available at http:\/\/orion.math.iastate.edu\/dpigozzi"},{"key":"8295_CR58","unstructured":"Lecture Notes on Algebraic Logic (with B. Jonsson), Symposium on Algebraic Logic, New Mexico State University, Las Cruces, January, 1999, 65 pp. Available at http:\/\/math.nmsu.edu\/holsymp\/lectures.html"},{"key":"8295_CR59","unstructured":"Assertionally equivalent quasivarieties (with J. Raftery), 2003, 88 pp."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-8295-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-006-8295-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-8295-3","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-8295-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6]]},"references-count":59,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["8295"],"URL":"https:\/\/doi.org\/10.1007\/s11225-006-8295-3","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6]]}}}