{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T15:40:02Z","timestamp":1774453202087,"version":"3.50.1"},"reference-count":42,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":3775,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["MLQ - Math. Log. Quart."],"published-print":{"date-parts":[[2005,5]]},"DOI":"10.1002\/malq.200410022","type":"journal-article","created":{"date-parts":[[2005,3,18]],"date-time":"2005-03-18T14:14:22Z","timestamp":1111155262000},"page":"219-246","source":"Crossref","is-referenced-by-count":62,"title":["Bounded distributive lattices with strict implication"],"prefix":"10.1002","volume":"51","author":[{"given":"Sergio","family":"Celani","sequence":"first","affiliation":[]},{"given":"Ramon","family":"Jansana","sequence":"additional","affiliation":[]}],"member":"311","reference":[{"key":"10.1002\/malq.200410022-BIB1","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1002\/malq.19980440304","volume":"44","author":"Ardeshir","year":"1998","journal-title":"Math. Logic Quarterly"},{"key":"10.1002\/malq.200410022-BIB2","author":"Blackburn","unstructured":"and Modal Logic (Cambridge University Press, Cambridge 2001)."},{"key":"10.1002\/malq.200410022-BIB3","author":"Blok","unstructured":"and Algebraizable Logics. Memoirs of the American Mathematical Society, Vol. 396 (Amer. Math. Soc., Providence 1989)."},{"key":"10.1002\/malq.200410022-BIB4","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/BF01195727","volume":"32","author":"Blok","year":"1994","journal-title":"Algebra Universalis"},{"key":"10.1002\/malq.200410022-BIB5","author":"Blok","unstructured":"and Abstract algebraic logic and the deduction theorem. Bulletin of Symbolic Logic (to appear)."},{"key":"10.1002\/malq.200410022-BIB6","author":"Bou","unstructured":"Strict-weak languages, an analysis of strict implication. PhD. dissertation, University of Barcelona 2004."},{"key":"10.1002\/malq.200410022-BIB7","author":"Burris","unstructured":"and A Course in Universal Algebra (Springer-Verlag, New York 1981)."},{"key":"10.1002\/malq.200410022-BIB8","first-page":"225","volume":"42","author":"Celani","year":"2003","journal-title":"Notre Dame J. Formal Logic"},{"key":"10.1002\/malq.200410022-BIB9","author":"Cignoli","unstructured":"Distributive lattice congruences and Priestley spaces. In: Actas del primer congreso Antonio Monteiro, pp. 81-84 (Universidad Nacional del Sur, Bah\u00eda Blanca 1991)."},{"key":"10.1002\/malq.200410022-BIB10","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/BF00383451","volume":"8","author":"Cignoli","year":"1991","journal-title":"Order"},{"key":"10.1002\/malq.200410022-BIB11","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1002\/malq.19870330503","volume":"33","author":"Corsi","year":"1987","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"10.1002\/malq.200410022-BIB12","author":"Czelakowski","unstructured":"Protoalgebraic Logics (Kluwer Academic Publishers, Dordrecht 2001)."},{"key":"10.1002\/malq.200410022-BIB13","author":"Czelakowski","unstructured":"and Amalgamation and interpolation in abstract algebraic logic. In: Models, Algebras and Proof (X. Caicedo and H. C. Montenegro, eds.), pp. 187-265 (Marcel and Dekker, New York 1998)."},{"key":"10.1002\/malq.200410022-BIB14","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1023\/B:STUD.0000009559.44998.a3","volume":"75","author":"Davey","year":"2003","journal-title":"Studia Logica"},{"key":"10.1002\/malq.200410022-BIB15","author":"Davey","unstructured":"and Introduction to Lattices and Order (Cambridge University Press, Cambridge 1990)."},{"key":"10.1002\/malq.200410022-BIB16","author":"D\u00a1osen","unstructured":"Modal translations in K and D. In: Diamond and Defaults (M. de Rijke, ed.), pp. 103-127 (Kluwer Academic Publishers, Dordrecht 1993)."},{"key":"10.1002\/malq.200410022-BIB17","author":"Dwinger","unstructured":"and Distributive Lattices (University of Missouri Press, Columbia (MO) 1974)."},{"key":"10.1002\/malq.200410022-BIB18","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1002\/malq.19760220128","volume":"22","author":"Epstein","year":"1976","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"10.1002\/malq.200410022-BIB19","first-page":"147","volume":"15","author":"Esakia","year":"1974","journal-title":"Soviet Math. Doklady"},{"key":"10.1002\/malq.200410022-BIB20","author":"Font","unstructured":"and Fully adequate Gentzen systems and closure properties of the class of full models. Preprint 2000."},{"key":"10.1002\/malq.200410022-BIB21","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0168-0072(89)90032-8","volume":"44","author":"Goldblatt","year":"1989","journal-title":"Annals Pure Appl. Logic"},{"key":"10.1002\/malq.200410022-BIB22","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1093\/jigpal\/8.4.393","volume":"8","author":"Goldblatt","year":"2000","journal-title":"J. IGPL"},{"key":"10.1002\/malq.200410022-BIB23","doi-asserted-by":"crossref","first-page":"51","DOI":"10.2307\/2271336","volume":"28","author":"Hacking","year":"1963","journal-title":"J. Symbolic Logic"},{"key":"10.1002\/malq.200410022-BIB24","first-page":"217","volume":"12","author":"Halmos","year":"1955","journal-title":"Composition Mathematica"},{"key":"10.1002\/malq.200410022-BIB25","author":"Kracht","unstructured":"Tools and Techniques in Modal Logic (Elsevier, Amsterdam 1999)."},{"key":"10.1002\/malq.200410022-BIB26","doi-asserted-by":"crossref","first-page":"46","DOI":"10.2307\/2270619","volume":"31","author":"Lemmon","year":"1966","journal-title":"J. Symbolic Logic"},{"key":"10.1002\/malq.200410022-BIB27","doi-asserted-by":"crossref","first-page":"191","DOI":"10.2307\/2269810","volume":"31","author":"Lemmon","year":"1966","journal-title":"J. Symbolic Logic"},{"key":"10.1002\/malq.200410022-BIB28","author":"Makinson","unstructured":"Aspectos de la L\u00f3gica Modal. Notas de L\u00f3gica Matem\u00e1tica 28 (Universidad Nacional del Sur, Bah\u00eda Blanca 1971)."},{"key":"10.1002\/malq.200410022-BIB29","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1007\/BF01670006","volume":"16","author":"Maksimova","year":"1977","journal-title":"Algebra i Logika"},{"key":"10.1002\/malq.200410022-BIB30","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/BF00370147","volume":"56","author":"Petrovich","year":"1996","journal-title":"Studia Logica"},{"key":"10.1002\/malq.200410022-BIB31","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"Priestley","year":"1970","journal-title":"Bulletin London Math. Soc."},{"key":"10.1002\/malq.200410022-BIB32","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1112\/plms\/s3-24.3.507","volume":"24","author":"Priestley","year":"1972","journal-title":"Proceedings London Math. Soc. (3)"},{"key":"10.1002\/malq.200410022-BIB33","doi-asserted-by":"crossref","first-page":"127","DOI":"10.4064\/fm-84-2-127-143","volume":"84","author":"Priestley","year":"1974","journal-title":"Fund. Math."},{"key":"10.1002\/malq.200410022-BIB34","author":"Rautenberg","unstructured":"Klassische und nichtklassische Aussagenlogik (Friedrich Vieweg und Sohn, Braunschweig 1979)."},{"key":"10.1002\/malq.200410022-BIB35","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF01058532","volume":"54","author":"de Rijke","year":"1995","journal-title":"Studia Logica"},{"key":"10.1002\/malq.200410022-BIB36","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1305\/ndjfl\/1040609299","volume":"35","author":"Restall","year":"1994","journal-title":"Notre Dame J. Formal Logic"},{"key":"10.1002\/malq.200410022-BIB37","first-page":"271","volume":"1","author":"Ruitenburg","year":"1991","journal-title":"Modern Logic"},{"key":"10.1002\/malq.200410022-BIB38","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1023\/A:1008237600846","volume":"7","author":"Susuki","year":"1998","journal-title":"J. Logic, Language, and Information"},{"key":"10.1002\/malq.200410022-BIB39","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/BF01874706","volume":"40","author":"Visser","year":"1981","journal-title":"Studia Logica"},{"key":"10.1002\/malq.200410022-BIB40","author":"Visser","unstructured":"Aspects of Diagonalization and Provability. PhD. dissertation, University of Utrech 1981."},{"key":"10.1002\/malq.200410022-BIB41","author":"Wansing","unstructured":"Displaying as temporalizing, sequent systems for subintuitionistic logics. In: Logic, Language and Computation (S. Akama, ed.), pp. 159-178 (Kluwer Academic Publishers, Dordrecht 1997)."},{"key":"10.1002\/malq.200410022-BIB42","first-page":"109","volume":"16","author":"Wright","year":"1957","journal-title":"Portugaliae Math."}],"container-title":["MLQ"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.200410022","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/malq.200410022","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,3]],"date-time":"2021-07-03T13:45:15Z","timestamp":1625319915000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.200410022"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,5]]},"references-count":42,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,5]]}},"URL":"https:\/\/doi.org\/10.1002\/malq.200410022","relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,5]]}}}