{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T06:14:54Z","timestamp":1775628894537,"version":"3.50.1"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,11,9]],"date-time":"2006-11-09T00:00:00Z","timestamp":1163030400000},"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,11,20]]},"DOI":"10.1007\/s11225-006-9008-7","type":"journal-article","created":{"date-parts":[[2006,11,8]],"date-time":"2006-11-08T09:10:42Z","timestamp":1162977042000},"page":"241-275","source":"Crossref","is-referenced-by-count":56,"title":["Generalized Kripke Frames"],"prefix":"10.1007","volume":"84","author":[{"given":"Mai","family":"Gehrke","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,11,9]]},"reference":[{"key":"9008_CR1","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/BF01898828","volume":"18","author":"B. Banaschewski","year":"1967","unstructured":"Banaschewski, B., and G. Bruns, \u2018Categorical characterization of the MacNeille completion\u2019, Arch. Math. (Basel) 18 (1967), 369\u2013377.","journal-title":"Arch. Math. (Basel)"},{"key":"9008_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511895968","volume-title":"The logic of distributed systems","author":"J. Barwise","year":"1997","unstructured":"Barwise, J., and J. Seligman, Information flow.The logic of distributed systems, Cambridge Tracts in Theoretical Computer Science, 44, Cambridge UniversityPress, Cambridge, 1997."},{"key":"9008_CR3","unstructured":"van Benthem, J., Categorial grammar at a cross-roads, preprint."},{"issue":"3","key":"9008_CR4","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1305\/ndjfl\/1063372199","volume":"42","author":"K. Bimb\u00f3","year":"2001","unstructured":"Bimb\u00f3, K., and J. M. Dunn, \u2018Four Valued Logic\u2019, Notre Dame Journal of Formal Logic 42, no. 3 (2001), 171\u2013192.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9008_CR5","unstructured":"Birkhoff, G., Lattice theory. Corrected reprint of the 1967 third edition, American Mathematical Society Colloquium Publications 25, American Mathematical Society, Providence, R. I., 1979."},{"issue":"6","key":"9008_CR6","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1093\/jigpal\/7.6.683","volume":"7","author":"S. Celani","year":"1999","unstructured":"Celani, S., and R. Jansana, \u2018Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic\u2019, Log. J. IGPL 7, no. 6 (1999), 683\u2013715.","journal-title":"Log. J. IGPL"},{"issue":"2","key":"9008_CR7","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0022-4049(82)90001-9","volume":"23","author":"H. Crapo","year":"1982","unstructured":"Crapo, H., \u2018Unities and negations: on the representation of finite lattices\u2019, J. of Pure and Applied Algebra 23, no. 2 (1982), 109\u2013135.","journal-title":"J. of Pure and Applied Algebra"},{"key":"9008_CR8","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1093\/oso\/9780198537779.003.0004","volume-title":"Substructural logics, Stud. Logic Comput.","author":"J. M. Dunn","year":"1993","unstructured":"Dunn, J. M., \u2018Partial gaggles applied to logics with restricted structural rules\u2019, in P. Schroeder-Heister and K. Do\u0161en, (eds.), Substructural logics, Stud. Logic Comput., 2, (T\u00f6bingen, 1990), Oxford Univ. Press, New York, 1993, pp. 63\u2013108."},{"key":"9008_CR9","unstructured":"Dunn, J. M., M. Gehrke, and A. Palmigiano, \u2018Canonical extensions and relational completions of some substructural logics\u2019, to appear in J. of Symb. Logic."},{"key":"9008_CR10","volume-title":"Mathematical foundations","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., and R. Wille, Formal concept analysis. Mathematical foundations, Springer-Verlag, Berlin, 1999. Translated from the 1996 German original byCornelia Franzke."},{"key":"9008_CR11","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1006\/jabr.2000.8622","volume":"238","author":"M. Gehrke","year":"2001","unstructured":"Gehrke, M., and J. Harding, \u2018Bounded lattice expansions\u2019, J. of Algebra 238 (2001), 345\u2013371.","journal-title":"J. of Algebra"},{"key":"9008_CR12","unstructured":"Gehrke, M., J. Harding, and Y. Venema, \u2018MacNeille completions and canonical extensions\u2019, in press Trans. Amer. Math. Soc."},{"issue":"1\u20133","key":"9008_CR13","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/j.apal.2004.04.007","volume":"131","author":"M. Gehrke","year":"2005","unstructured":"Gehrke, M., H. Nagahashi, and Y. Venema, \u2018A Sahlqvist theorem for distributive modal logic\u2019, Ann.Pure Appl. Logic 131, no. 1\u20133 (2005), 65\u2013102.","journal-title":"Ann.Pure Appl. Logic"},{"key":"9008_CR14","first-page":"126","volume-title":"General algebra and applications","author":"G. Hartung","year":"1993","unstructured":"Hartung, G., \u2018An extended duality for lattices\u2019, General algebra and applications (Potsdam, 1992), Res. Exp. Math., 20, Heldermann, Berlin, 1993, pp. 126\u2013142."},{"key":"9008_CR15","unstructured":"de Montgomery N., Manisha, Perfect poset semantics for some substructural logics, Master's Thesis, University of Copenhagen, Copenhagen, 2005."},{"key":"9008_CR16","unstructured":"Moortgat, M., \u2018Grammatical invariants: enriching the Lambek vocabulary\u2019, Talk on joint work with Rafaella Bernardi and Rajeev Gore at Amsterdam Workshop on Modal Logic, Model Theory and (Co)Algebras, see http:\/\/staff.science.uva.nl\/bcate\/ml-workshop\/"},{"key":"9008_CR17","first-page":"39","volume-title":"School on Category Theory and Applications","author":"V. Pratt","year":"1999","unstructured":"Pratt, V., \u2018Chu spaces\u2019, School on Category Theory and Applications, (Coimbra, 1999), Textos Mat. Sr. B, 21, Univ. Coimbra, Coimbra, 1999, pp. 39\u2013100."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-9008-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-006-9008-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-9008-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,8]],"date-time":"2024-02-08T06:09:15Z","timestamp":1707372555000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-006-9008-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,11,9]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,11,20]]}},"alternative-id":["9008"],"URL":"https:\/\/doi.org\/10.1007\/s11225-006-9008-7","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,11,9]]}}}