{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T05:50:51Z","timestamp":1757310651615},"reference-count":41,"publisher":"Wiley","issue":"6","license":[{"start":{"date-parts":[[2013,11,1]],"date-time":"2013-11-01T00:00:00Z","timestamp":1383264000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"},{"start":{"date-parts":[[2013,11,6]],"date-time":"2013-11-06T00:00:00Z","timestamp":1383696000000},"content-version":"vor","delay-in-days":5,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Log. Quart."],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1002\/malq.201200020","type":"journal-article","created":{"date-parts":[[2013,11,6]],"date-time":"2013-11-06T10:08:50Z","timestamp":1383732530000},"page":"393-406","source":"Crossref","is-referenced-by-count":15,"title":["Inconsistency lemmas in algebraic logic"],"prefix":"10.1002","volume":"59","author":[{"given":"James G.","family":"Raftery","sequence":"first","affiliation":[{"name":"Department of Mathematics and Applied Mathematics; University of Pretoria, Private Bag X20; Hatfield Pretoria 0028 South Africa"}]}],"member":"311","published-online":{"date-parts":[[2013,11,6]]},"reference":[{"key":"10.1002\/malq.201200020-BIB0001|malq201200020-cit-0001","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1093\/jigpal\/5.2.181","article-title":"Multiplicative conjunction as an extensional conjunction","volume":"5","author":"Avron","year":"1997","journal-title":"Log. J. IGPL"},{"key":"10.1002\/malq.201200020-BIB0002|malq201200020-cit-0002","first-page":"35","article-title":"Sulle classi filtrali di algebre","volume":"27","author":"Bergman","year":"1971","journal-title":"Ann. Univ. Ferrara, Sez. VII"},{"key":"10.1002\/malq.201200020-BIB0003|malq201200020-cit-0003","unstructured":"W. J. Blok P. K\u00f6hler D. Pigozzi The algebraization of logic 1983"},{"key":"10.1002\/malq.201200020-BIB0004|malq201200020-cit-0004","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1007\/BF01203370","article-title":"On the structure of varieties with equationally definable principal congruences II","volume":"18","author":"Blok","year":"1984","journal-title":"Algebra Univers."},{"key":"10.1002\/malq.201200020-BIB0005|malq201200020-cit-0005","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF02483723","article-title":"On the structure of varieties with equationally definable principal congruences I","volume":"15","author":"Blok","year":"1982","journal-title":"Algebra Univers."},{"key":"10.1002\/malq.201200020-BIB0006|malq201200020-cit-0006","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01190734","article-title":"A finite basis theorem for quasivarieties","volume":"22","author":"Blok","year":"1986","journal-title":"Algebra Univers."},{"key":"10.1002\/malq.201200020-BIB0007|malq201200020-cit-0007","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/BF00370269","article-title":"Protoalgebraic logics","volume":"45","author":"Blok","year":"1986","journal-title":"Stud. Log."},{"key":"10.1002\/malq.201200020-BIB0008|malq201200020-cit-0008","volume-title":"Algebraizable Logics, Memoirs of the American Mathematical Society","author":"Blok","year":"1989"},{"key":"10.1002\/malq.201200020-BIB0009|malq201200020-cit-0009","first-page":"1","volume-title":"Universal algebra and quasigroup theory, Papers from the Conference on Universal Algebra, Quasigroups and Related Systems held in Jadwisin, May 23-28, 1989","author":"Blok","year":"1992"},{"key":"10.1002\/malq.201200020-BIB0010|malq201200020-cit-0010","unstructured":"W. J. Blok D. Pigozzi Abstract algebraic logic and the deduction theorem"},{"key":"10.1002\/malq.201200020-BIB0011|malq201200020-cit-0011","first-page":"167","volume-title":"Models, algebras, and proofs. Proceedings of the 10th Latin American Symposium on Mathematical Logic (SLALM) held at the Universidad de los Andes, Bogot\u00e1, 1995","author":"Blok","year":"1999"},{"key":"10.1002\/malq.201200020-BIB0012|malq201200020-cit-0012","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/BF00370428","article-title":"Algebraic aspects of deduction theorems","volume":"44","author":"Czelakowski","year":"1985","journal-title":"Stud. Log."},{"key":"10.1002\/malq.201200020-BIB0013|malq201200020-cit-0013","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/BF00370271","article-title":"Local deduction theorems","volume":"45","author":"Czelakowski","year":"1986","journal-title":"Stud. Log."},{"key":"10.1002\/malq.201200020-BIB0014|malq201200020-cit-0014","first-page":"66","article-title":"Relatively congruence-distributive subquasivarieties of filtral varieties","volume":"19","author":"Czelakowski","year":"1990","journal-title":"Bull. Sect. Logic"},{"key":"10.1002\/malq.201200020-BIB0015|malq201200020-cit-0015","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2807-2","volume-title":"Protoalgebraic Logics, Trends in Logic","author":"Czelakowski","year":"2001"},{"key":"10.1002\/malq.201200020-BIB0016|malq201200020-cit-0016","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/BF01190258","article-title":"Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class","volume":"27","author":"Czelakowski","year":"1990","journal-title":"Algebra Univers."},{"key":"10.1002\/malq.201200020-BIB0017|malq201200020-cit-0017","first-page":"101","article-title":"Dualities and equivalences for varieties of algebras, Contributions to Lattice Theory","volume":"33","author":"Davey","year":"1983","journal-title":"Colloq. Math. Soc. J\u00e1nos Bolyai"},{"key":"10.1002\/malq.201200020-BIB0018|malq201200020-cit-0018","doi-asserted-by":"crossref","first-page":"45","DOI":"10.4064\/fm-133-1-47-57","article-title":"Finitely generated congruence distributive quasivarieties of algebras","volume":"133","author":"Dziobiak","year":"1989","journal-title":"Fundam. Math."},{"key":"10.1002\/malq.201200020-BIB0019|malq201200020-cit-0019","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-21591-3","volume-title":"A General Algebraic Semantics for Sentential Logics, Lecture Notes in Logic","author":"Font","year":"1996"},{"key":"10.1002\/malq.201200020-BIB0020|malq201200020-cit-0020","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1023\/A:1024621922509","article-title":"A survey of abstract algebraic logic","volume":"74","author":"Font","year":"2003","journal-title":"Stud. Log."},{"key":"10.1002\/malq.201200020-BIB0021|malq201200020-cit-0021","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/s11225-009-9169-2","article-title":"Update to \u201cA survey of abstract algebraic logic","volume":"91","author":"Font","year":"2009","journal-title":"Stud. Log."},{"key":"10.1002\/malq.201200020-BIB0022|malq201200020-cit-0022","volume-title":"Filtral and ideal classes of universal algebras, Quaderni dell'Instituto di Matematica dell'Universit\u00e0 di Siena, Istituto de Matematica","author":"Franci","year":"1976"},{"key":"10.1002\/malq.201200020-BIB0023|malq201200020-cit-0023","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF02482900","article-title":"Uniform congruence schemes","volume":"10","author":"Fried","year":"1980","journal-title":"Algebra Univers."},{"key":"10.1002\/malq.201200020-BIB0024|malq201200020-cit-0024","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF01194534","article-title":"Connection between the congruence lattices and polynomial properties","volume":"17","author":"Fried","year":"1983","journal-title":"Algebra Univers."},{"key":"10.1002\/malq.201200020-BIB0025|malq201200020-cit-0025","volume-title":"Residuated Lattices. An Algebraic Glimpse at Substructural Logics, Studies in Logic and the Foundations of Mathematics","author":"Galatos","year":"2007"},{"key":"10.1002\/malq.201200020-BIB0026|malq201200020-cit-0026","doi-asserted-by":"crossref","first-page":"2177","DOI":"10.1016\/j.jpaa.2012.02.006","article-title":"A category equivalence for odd Sugihara monoids and its applications","volume":"216","author":"Galatos","year":"2012","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1002\/malq.201200020-BIB0027|malq201200020-cit-0027","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1002\/malq.200610040","article-title":"Bounded BCK-algebras and their generated variety","volume":"53","author":"Gispert","year":"2007","journal-title":"Math. Log. Q."},{"key":"10.1002\/malq.201200020-BIB0028|malq201200020-cit-0028","first-page":"183","article-title":"Sur quelques points de la logique de M. Brouwer","volume":"15","author":"Glivenko","year":"1929","journal-title":"Bull. Acad. Sci. Belgique"},{"key":"10.1002\/malq.201200020-BIB0029|malq201200020-cit-0029","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-0348-7633-9","volume-title":"General Lattice Theory","author":"Gr\u00e4tzer","year":"1978"},{"key":"10.1002\/malq.201200020-BIB0030|malq201200020-cit-0030","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic, Trends in Logic","author":"H\u00e1jek","year":"1998"},{"key":"10.1002\/malq.201200020-BIB0031|malq201200020-cit-0031","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1007\/BF01110209","article-title":"Stone duality for primal algebra theory","volume":"110","author":"Hu","year":"1969","journal-title":"Math. Z."},{"key":"10.1002\/malq.201200020-BIB0032|malq201200020-cit-0032","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1023\/B:STUD.0000037129.58589.0c","article-title":"Semisimplicity, EDPC and discriminator varieties of residuated lattices","volume":"77","author":"Kowalski","year":"2005","journal-title":"Stud. Log."},{"key":"10.1002\/malq.201200020-BIB0033|malq201200020-cit-0033","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF02896795","article-title":"Variet\u00e0 a quozienti filtrali","volume":"14","author":"Magari","year":"1969","journal-title":"Ann. Univ. Ferrara, Sez. VII"},{"key":"10.1002\/malq.201200020-BIB0034|malq201200020-cit-0034","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1016\/0021-8693(73)90040-9","article-title":"The classification of idealizable varieties (Congruenze Ideali IV)","volume":"26","author":"Magari","year":"1973","journal-title":"J. Algebra"},{"key":"10.1002\/malq.201200020-BIB0035|malq201200020-cit-0035","first-page":"687","article-title":"Classi e Schemi Ideali (Congruenze Ideali V)","volume":"27","author":"Magari","year":"1973","journal-title":"Ann. Sc. Norm. Super. Pisa Cl. Sci."},{"key":"10.1002\/malq.201200020-BIB0036|malq201200020-cit-0036","first-page":"205","volume-title":"40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010","author":"Marchioni","year":"2010"},{"key":"10.1002\/malq.201200020-BIB0037|malq201200020-cit-0037","doi-asserted-by":"crossref","unstructured":"R. McKenzie An algebraic version of categorical equivalence for varieties and more general algebraic categories Logic and algebra. Papers from the International Conference in memory of Roberto Magari held in Pontignano, April 26-30, 1994 Aldo Ursini Paolo Aglian\u00f2 Marcel Dekker 211 243","DOI":"10.1201\/9780203748671-10"},{"key":"10.1002\/malq.201200020-BIB0038|malq201200020-cit-0038","doi-asserted-by":"crossref","first-page":"834","DOI":"10.2178\/jsl\/1191333844","article-title":"Substructural fuzzy logics","volume":"72","author":"Metcalfe","year":"2007","journal-title":"J. Symb. Log."},{"key":"10.1002\/malq.201200020-BIB0039|malq201200020-cit-0039","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1090\/S0002-9947-1988-0946222-1","article-title":"Finite basis theorems for relatively congruence-distributive quasivarieties","volume":"310","author":"Pigozzi","year":"1988","journal-title":"Trans. Am. Math. Soc."},{"key":"10.1002\/malq.201200020-BIB0040|malq201200020-cit-0040","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00012-010-0061-8","article-title":"Semisimplicity and the discriminator in bounded BCK-algebras","volume":"63","author":"Torrens","year":"2010","journal-title":"Algebra Univers."},{"key":"10.1002\/malq.201200020-BIB0041|malq201200020-cit-0041","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi, Synthese Library","author":"W\u00f3jcicki","year":"1988"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.201200020","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.201200020","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/onlinelibrary.wiley.com\/wol1\/doi\/10.1002\/malq.201200020\/fullpdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,11]],"date-time":"2022-03-11T17:48:45Z","timestamp":1647020925000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.201200020"}},"subtitle":["Inconsistency lemmas in algebraic logic"],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":41,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2013,11]]}},"URL":"https:\/\/doi.org\/10.1002\/malq.201200020","archive":["Portico"],"relation":{},"ISSN":["0942-5616"],"issn-type":[{"value":"0942-5616","type":"print"}],"subject":[],"published":{"date-parts":[[2013,11]]}}}