{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T01:52:21Z","timestamp":1649209941266},"reference-count":26,"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-8297-1","type":"journal-article","created":{"date-parts":[[2006,7,13]],"date-time":"2006-07-13T06:36:05Z","timestamp":1152772565000},"page":"31-48","source":"Crossref","is-referenced-by-count":2,"title":["Willem Blok's Contribution to Abstract Algebraic Logic"],"prefix":"10.1007","volume":"83","author":[{"given":"Ramon","family":"Jansana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8297_CR1","doi-asserted-by":"crossref","unstructured":"BLOK, W. J., and E. HOOGLAND, \u2018The Beth Property in Algebraic Logic\u2019, Studia Logica 49\u201390 of this issue.","DOI":"10.1007\/s11225-006-8298-0"},{"key":"8297_CR2","unstructured":"BLOK, W. J., and B. JONSSON, Algebraic structures for logic. A course given at the 23rd Holiday Mathematics Symposium, New Mexico State University, January 1999. Available at http:\/\/math.nmsu.edu\/ holysymp\/"},{"key":"8297_CR3","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":"8297_CR4","doi-asserted-by":"crossref","first-page":"941","DOI":"10.2307\/2273660","volume":"48","author":"W. J. BLOK","year":"1984","unstructured":"BLOK, W. J., and P. KOHLER, \u2018Algebraic Semantics for Quasi-Classical Modal Logics\u2019, The Journal of Symbolic Logic 48 (1984), 941\u2013964.","journal-title":"The Journal of Symbolic Logic"},{"key":"8297_CR5","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1007\/BF01203370","volume":"18","author":"W. J. BLOK","year":"1984","unstructured":"BLOK, W. J., P. KOHLER, and D. PIGOZZI, \u2018On the structure of varieties with equationally definable principal congruences II\u2019, Algebra Universalis 18 (1984), 334\u2013379.","journal-title":"Algebra Universalis"},{"key":"8297_CR6","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF02483723","volume":"15","author":"W. J. BLOK","year":"1982","unstructured":"BLOK, W. J., and D. PlGOZZI, \u2018On the structure of varieties with equationally definable principal congruences I\u2019, Algebra Universalis 15 (1982), 195\u2013227.","journal-title":"Algebra Universalis"},{"key":"8297_CR7","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/BF00370269","volume":"45","author":"W. J. BLOK","year":"1986","unstructured":"BLOK, W. J., and D. PIGOZZI, \u2018Protoalgebraic logics\u2019, Studia Logica 45 (1986), 337\u2013369.","journal-title":"Studia Logica"},{"key":"8297_CR8","doi-asserted-by":"crossref","unstructured":"BLOK, W. J., and D. PlGOZZI, Algebraizable logics, vol. 396 of Mem. Amer. Math. Soc. A.M.S., Providence, January 1989.","DOI":"10.1090\/memo\/0396"},{"key":"8297_CR9","first-page":"75","volume-title":"vol. 54 of Colloq. Math. Soc. Jdnos Bolyai. Algebraic Logic","author":"W. J. BLOK","year":"1991","unstructured":"BLOK, W. J., and D. PIGOZZI, \u2018Local deduction theorems in algebraic logic\u2019, in H. Andreka, J. D. Monk, and I. Nemeti, (eds.), Algebraic Logic, vol. 54 of Colloq. Math. Soc. Jdnos Bolyai. North-Holland, Amsterdam, 1991, pp. 75\u2013109."},{"key":"8297_CR10","first-page":"1","volume-title":"Universal Algebra and Quasigroup Theory","author":"W. J. BLOK","year":"1992","unstructured":"BLOK, W. J., and D. PIGOZZI, \u2018Algebraic semantics for universal Horn logic without equality\u2019, in A. Romanowska and J. D. H. Smith, (eds.), Universal Algebra and Quasigroup Theory, A. Romanowska and J. D. H. Smith, (eds.), Heldermann, Berlin, 1992, pp. 1\u201356."},{"key":"8297_CR11","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":"8297_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01188178","volume":"31","author":"W. J. BLOK","year":"1994","unstructured":"BLOK, W. J., and D. PlGOZZI, \u2018On the structure of varieties with equationally definable principal congruences IV, Algebra Universalis 31 (1994), 1\u201335.","journal-title":"Algebra Universalis"},{"key":"8297_CR13","unstructured":"BLOK, W. J., and D. PlGOZZI, \u2018Abstract algebraic logic and the deduction theorem\u2019. Manuscript 1997. Available at http:\/\/orion.math.iastate.edu\/dpigozzi"},{"key":"8297_CR14","first-page":"167","volume-title":"Models, algebras and proofs. vol. 203 of Lecture Notes in Pure and Applied Mathematics","author":"W. J. BLOK","year":"1999","unstructured":"BLOK, W. J., and J. G. RAFTERY, \u2018Ideals in quasivarieties of algebras\u2019, in X. Caicedo and C. H. Montenegro, (eds.), Models, algebras and proofs, X. Caicedo and C. H. Montenegro, (eds.), vol. 203 of Lecture Notes in Pure and Applied Mathematics. Marcel Dekker, New York, 1999, pp. 167\u2013186."},{"key":"8297_CR15","unstructured":"BLOK, W.J., and J. G. RAFTERY, \u2018Assertionally equivalent quasivarieties\u2019. Manuscript, 2003, 88 pp."},{"key":"8297_CR16","doi-asserted-by":"crossref","unstructured":"BLOK, W. J., and J. REBAGLIATO, \u2018Algebraic Semantics for Deductive systems\u2019, Studia Logica 74, Special Issue on Abstract Algebraic Logic-Part II, J.M. Font, R. Jansana and D. Pigozzi (eds.), (2003), 153\u2013180.","DOI":"10.1023\/A:1024626023417"},{"key":"8297_CR17","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF00373095","volume":"39","author":"J. CZELAKOWSKI","year":"1980","unstructured":"CZELAKOWSKI, J., \u2018R.educed products of logical matrices\u2019, Studia Logica 39 (1980), 19\u201343.","journal-title":"Studia Logica"},{"key":"8297_CR18","volume-title":"Protoalgebraic Logics, vol. 10 of Trends in Logic. Studia Logica Library","author":"J. CZELAKOWSKI","year":"2001","unstructured":"CZELAKOWSKI, J., Protoalgebraic Logics, vol. 10 of Trends in Logic. Studia Logica Library. Kluwer Academic Publishers, Dordrecht, 2001."},{"key":"8297_CR19","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF02483100","volume":"11","author":"P. KOHLER","year":"1980","unstructured":"KOHLER, P., and D. PIGOZZI, \u2018Varieties with equationally definable principal congruences\u2019, Algebra Universalis 11 (1980), 213\u2013219.","journal-title":"Algebra Universalis"},{"key":"8297_CR20","first-page":"13","volume":"74","author":"J.M. FONT","year":"2003","unstructured":"FONT, J.M., R. JANSANA, D. PIGOZZI, \u2018A Survey of Abstract Algebraic Logic\u2019, Studia Logica. Special Issue on Algebraic Logic II, 74 (2003), 13\u201397.","journal-title":"Studia Logica. Special Issue on Algebraic Logic II"},{"key":"8297_CR21","unstructured":"GYURIS, V., Variations of algebraizability. PhD thesis, University of Illinois at Chicago, 1999."},{"key":"8297_CR22","unstructured":"PIGOZZI, D., \u2018Abstract Algebraic Logic: Past, present and future\u2019, in J.M. Font, J. Jansana, D. Piggozi, (eds.), Workshop on Abstract Algebraic Logic, Quaderns, 10 CRM, Bellaterra 1998."},{"key":"8297_CR23","doi-asserted-by":"crossref","unstructured":"RAUTENBERG, W., F. WOLTER, M. ZAKHARYASCHEV, \u2018WillemBlok and modal logic\u2019, Studia Logica 15\u201330 of this issue.","DOI":"10.1007\/s11225-006-8296-2"},{"key":"8297_CR24","volume-title":"Logic. Semantics. Metamathematics","author":"A. TARSKI","year":"1983","unstructured":"TARSKI, A., Logic. Semantics. Metamathematics. Papers from 1923 to 1938. Hackett Pub. Co., Indianapolis, Indiana, second edition, 1983. Edited by J. Corcoran.","edition":"second edition"},{"key":"8297_CR25","doi-asserted-by":"crossref","unstructured":"WOJCICKI, R., \u2018Matrix approach in the methodology of sentential calculi\u2019, Studia Logical (1973), 7\u201337.","DOI":"10.1007\/BF02123806"},{"key":"8297_CR26","volume-title":"Theory of logical calculi. Basic theory of consequence operations, vol. 199 of Synthese Library","author":"R. WOJCICKI","year":"1988","unstructured":"WOJCICKI, R., Theory of logical calculi. Basic theory of consequence operations, vol. 199 of Synthese Library. Reidel, Dordrecht, 1988."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-8297-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-006-8297-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-8297-1","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-8297-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6]]},"references-count":26,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["8297"],"URL":"https:\/\/doi.org\/10.1007\/s11225-006-8297-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6]]}}}