{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:23:28Z","timestamp":1759332208855},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2015,6,19]],"date-time":"2015-06-19T00:00:00Z","timestamp":1434672000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Algebra Univers."],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1007\/s00012-015-0335-2","type":"journal-article","created":{"date-parts":[[2015,6,18]],"date-time":"2015-06-18T05:54:47Z","timestamp":1434606887000},"page":"123-138","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["TiRS graphs and TiRS frames: a new setting for duals of canonical extensions"],"prefix":"10.1007","volume":"74","author":[{"given":"Andrew P. K.","family":"Craig","sequence":"first","affiliation":[]},{"given":"Maria J.","family":"Gouveia","sequence":"additional","affiliation":[]},{"given":"Miroslav","family":"Haviar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,19]]},"reference":[{"key":"335_CR1","unstructured":"Clark D.M., Davey, B.A.: Natural Dualities for the Working Algebraist. Cambridge University Press (1998)"},{"key":"335_CR2","doi-asserted-by":"crossref","first-page":"1335","DOI":"10.2478\/s12175-014-0278-7","volume":"64","author":"A.P.K. Craig","year":"2014","unstructured":"Craig A.P.K., Haviar M.: Reconciliation of approaches to the construction of canonical extensions of bounded lattices. Math. Slovaca 64, 1335\u20131356 (2014)","journal-title":"Math. Slovaca"},{"key":"335_CR3","doi-asserted-by":"crossref","first-page":"725","DOI":"10.1007\/s10485-012-9287-2","volume":"20","author":"A.P.K. Craig","year":"2013","unstructured":"Craig A.P.K., Haviar M., Priestley H.A.: A fresh perspective on canonical extensions for bounded lattices. Appl. Categ. Structures 20, 725\u2013749 (2013)","journal-title":"Appl. Categ. Structures"},{"key":"335_CR4","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/BF02945139","volume":"3","author":"B.A. Davey","year":"1973","unstructured":"Davey B.A.: A note on representable posets. Algebra Universalis 3, 345\u2013347 (1973)","journal-title":"Algebra Universalis"},{"key":"335_CR5","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/s00012-011-0158-8","volume":"66","author":"B.A. Davey","year":"2011","unstructured":"Davey B.A., Gouveia M.J., Haviar M., Priestley H.A.: Natural extensions and profinite completions of algebras. Algebra Universalis 66, 331\u2013336 (2011)","journal-title":"Algebra Universalis"},{"key":"335_CR6","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/s10485-007-9090-7","volume":"15","author":"B.A. Davey","year":"2007","unstructured":"Davey B.A., Haviar M., Priestley H.A.: Boolean topological distributive lattices and canonical extensions. Appl. Categ. Structures 15, 225\u2013241 (2007)","journal-title":"Appl. Categ. Structures"},{"key":"335_CR7","doi-asserted-by":"crossref","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press (2002)","DOI":"10.1017\/CBO9780511809088"},{"key":"335_CR8","doi-asserted-by":"crossref","first-page":"1724","DOI":"10.1016\/j.topol.2011.06.004","volume":"158","author":"B.A. Davey","year":"2011","unstructured":"Davey B.A., Priestley H.A.: A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras. Topology Appl. 158, 1724\u20131731 (2011)","journal-title":"Topology Appl."},{"key":"335_CR9","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/s11225-012-9392-0","volume":"100","author":"B.A. Davey","year":"2012","unstructured":"Davey B.A., Priestley H.A.: Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras. Studia Logica 100, 137\u2013161 (2012)","journal-title":"Studia Logica"},{"key":"335_CR10","doi-asserted-by":"crossref","first-page":"713","DOI":"10.2178\/jsl\/1122038911","volume":"70","author":"J.M. Dunne","year":"2005","unstructured":"Dunne J.M., Gehrke M., Palmigiano A.: Canonical extensions and relational completeness of some substructural logics. J. Symbolic Logic 70, 713\u2013740 (2005)","journal-title":"J. Symbolic Logic"},{"key":"335_CR11","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/s11225-006-9008-7","volume":"84","author":"M. Gehrke","year":"2006","unstructured":"Gehrke M.: Generalized Kripke frames. Studia Logica 84, 241\u2013275 (2006)","journal-title":"Studia Logica"},{"key":"335_CR12","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1006\/jabr.2000.8622","volume":"238","author":"M. Gehrke","year":"2001","unstructured":"Gehrke M., Harding J.: Bounded lattice expansions. J. Algebra 238, 345\u2013371 (2001)","journal-title":"J. Algebra"},{"key":"335_CR13","doi-asserted-by":"crossref","unstructured":"Gehrke, M., Vosmaer, J.: A view of canonical extension. In: Proceedings of the Eighth International Tbilisi Symposium, TbiLLC, 2009. Lecture Notes in Computer Science vol. 6618, pp. 77\u2013100. Logic, Language and Computation (Tbilisi, 2011)","DOI":"10.1007\/978-3-642-22303-7_6"},{"key":"335_CR14","unstructured":"Plo\u0161\u010dica, M.: A natural representation of bounded lattices. Tatra Mountains Math. Publ. 5, 75\u201388 (1995)"},{"key":"335_CR15","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF02485369","volume":"8","author":"A. Urquhart","year":"1978","unstructured":"Urquhart A.: A topological representation theory for lattices. Algebra Universalis 8, 45\u201358 (1978)","journal-title":"Algebra Universalis"}],"container-title":["Algebra universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00012-015-0335-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00012-015-0335-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00012-015-0335-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,13]],"date-time":"2022-05-13T22:16:54Z","timestamp":1652480214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00012-015-0335-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,19]]},"references-count":15,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2015,9]]}},"alternative-id":["335"],"URL":"https:\/\/doi.org\/10.1007\/s00012-015-0335-2","relation":{},"ISSN":["0002-5240","1420-8911"],"issn-type":[{"value":"0002-5240","type":"print"},{"value":"1420-8911","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,6,19]]}}}