{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T03:41:41Z","timestamp":1649043701148},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,4,3]],"date-time":"2017-04-03T00:00:00Z","timestamp":1491177600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1007\/s11787-017-0166-3","type":"journal-article","created":{"date-parts":[[2017,4,3]],"date-time":"2017-04-03T02:59:44Z","timestamp":1491188384000},"page":"153-175","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Topological Representation of Intuitionistic and Distributive Abstract Logics"],"prefix":"10.1007","volume":"11","author":[{"given":"Andreas Bernhard Michael","family":"Brunner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"Lewitzka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,3]]},"reference":[{"key":"166_CR1","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1017\/S0960129509990302","volume":"20","author":"G Bezhanishvili","year":"2010","unstructured":"Bezhanishvili, G., Bezhanishvili, N., Gabelaia, D., Kurz, A.: Bitopological duality for distributive lattices and Heyting algebras. Math. Struct. Comput. Sci. 20, 359\u2013393 (2010)","journal-title":"Math. Struct. Comput. Sci."},{"key":"166_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00012-007-2032-2","volume":"58","author":"G Bezhanishvili","year":"2008","unstructured":"Bezhanishvili, G., Mines, R., Morandi, P.J.: Topo-canonical completions of closure algebras and Heyting algebras. Algebra Univers. 58, 1\u201334 (2008)","journal-title":"Algebra Univers."},{"key":"166_CR3","first-page":"43","volume":"102","author":"SL Bloom","year":"1973","unstructured":"Bloom, S.L., Brown, D.J.: Classical abstract logics. Diss. Math. 102, 43\u201351 (1973)","journal-title":"Diss. Math."},{"key":"166_CR4","volume-title":"Algebraizable logics","author":"W Blok","year":"1989","unstructured":"Blok, W., Pigozzi, D.: Algebraizable logics, vol. 396. Memoirs of the American Mathematical Society, Providence (1989)"},{"key":"166_CR5","first-page":"9","volume":"102","author":"DJ Brown","year":"1973","unstructured":"Brown, D.J., Suszko, R.: Abstract logics. Diss. Math. 102, 9\u201342 (1973)","journal-title":"Diss. Math."},{"key":"166_CR6","volume-title":"Topological Representation of Intuitionistic and Abstract Logics, Abstract Published in XVI","author":"ABM Brunner","year":"2011","unstructured":"Brunner, A.B.M., Lewitzka, S.: Topological Representation of Intuitionistic and Abstract Logics, Abstract Published in XVI. Encontro Brasileiro de L\u00f3gica, Petr\u00f3polis, Rio de Janeiro (2011)"},{"key":"166_CR7","volume-title":"Logica Universalis: Towards a General Theory of Logic","author":"C Caleiro","year":"2007","unstructured":"Caleiro, C., Gon\u00e7alves, R.: Equipollent logical systems. In: Beziau, J.Y. (ed.) Logica Universalis: Towards a General Theory of Logic, 2nd edn. Birkhaeuser Verlag, Basel (2007)","edition":"2"},{"key":"166_CR8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"BA Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002)","edition":"2"},{"issue":"2","key":"166_CR9","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1305\/ndjfl\/1040046092","volume":"37","author":"\u00c1E Eiben","year":"1996","unstructured":"Eiben, \u00c1.E., Janossy, A., Kurucz, \u00c1.: Combining algebraizable logics. Notre Dame J. Form Log 37(2), 366\u2013380 (1996)","journal-title":"Notre Dame J. Form Log"},{"key":"166_CR10","unstructured":"Fiorentini, C.: Kripke completeness for intermediate logics. PhD. Thesis (2000)"},{"key":"166_CR11","volume-title":"Intuitionistic logic, model theory and forcing","author":"M Fitting","year":"1969","unstructured":"Fitting, M.: Intuitionistic logic, model theory and forcing. North Holland, Amsterdam (1969)"},{"key":"166_CR12","doi-asserted-by":"crossref","first-page":"1042","DOI":"10.2307\/2274764","volume":"54","author":"JM Font","year":"1989","unstructured":"Font, J.M., Verd\u00fa, V.: A first approach to abstract modal logics. J. Symb. Log. 54, 1042\u20131062 (1989)","journal-title":"J. Symb. Log."},{"key":"166_CR13","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Burstall, R.M.: Introducing institutions. Lecture Notes in Computer Science, vol. 164, pp. 221\u2013256 (1984)","DOI":"10.1007\/3-540-12896-4_366"},{"key":"166_CR14","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1090\/S0002-9947-1969-0251026-X","volume":"142","author":"M Hochster","year":"1969","unstructured":"Hochster, M.: Prime ideal structure in commutative rings. Trans. AMS 142, 43\u201360 (1969)","journal-title":"Trans. AMS"},{"key":"166_CR15","unstructured":"Jansana, R.: Propositional consequence relations and algebraic logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, Spring 2011 edn. \n                        http:\/\/plato.stanford.edu\/archives\/spr2011\/entries\/consequence-algebraic\/"},{"key":"166_CR16","first-page":"119","volume":"4","author":"I Johansson","year":"1937","unstructured":"Johansson, I.: Der Minimalkalk\u00fcl, ein reduzierter intuitionistischer formalismus. Compos. Math. 4, 119\u2013136 (1937)","journal-title":"Compos. Math."},{"key":"166_CR17","volume-title":"Stone Spaces","author":"PT Johnstone","year":"1982","unstructured":"Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)"},{"issue":"2","key":"166_CR18","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/s11787-007-0013-z","volume":"1","author":"S Lewitzka","year":"2007","unstructured":"Lewitzka, S.: Abstract logics, logic maps and logic homomorphisms. Log. Univers. 1(2), 243\u2013276 (2007)","journal-title":"Log. Univers."},{"key":"166_CR19","unstructured":"Lewitzka, S.: \n                        $$\\in _{4}$$\n                        \n                            \n                                            \n                                \n                                    \u2208\n                                    4\n                                \n                            \n                        \n                    : A \n                        $$4$$\n                        \n                            \n                                            \n                                \n                                    4\n                                \n                            \n                        \n                    -valued Truth Theory and Metalogic, preprint (2007)"},{"issue":"2","key":"166_CR20","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/s11787-009-0007-0","volume":"3","author":"S Lewitzka","year":"2009","unstructured":"Lewitzka, S., Brunner, A.B.M.: Minimally generated abstract logics. Log. Univers. 3(2), 219\u2013241 (2009)","journal-title":"Log. Univers."},{"key":"166_CR21","unstructured":"Mendes, C.A., Mariano, H.L.: Towards a good notion of categories of logics. \n                        arXiv:1404.3780v2\n                        \n                     (2016)"},{"key":"166_CR22","unstructured":"Miraglia, F.: An Introduction to Partially Ordered Structures and Sheaves, Contemporary Logic Series, vol. 1, Polimetrica International Scientific Publisher, Milan, Italy (2006)"},{"key":"166_CR23","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"HA Priestley","year":"1970","unstructured":"Priestley, H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. Lond. Math. Soc. 2, 186\u2013190 (1970)","journal-title":"Bull. Lond. Math. Soc."},{"key":"166_CR24","volume-title":"An Algebraic Approach to Non-Classical Logic","author":"H Rasiowa","year":"1974","unstructured":"Rasiowa, H.: An Algebraic Approach to Non-Classical Logic. North-Holland Publ. Co., Amsterdam (1974)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-017-0166-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-017-0166-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-017-0166-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,25]],"date-time":"2017-05-25T03:33:49Z","timestamp":1495683229000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-017-0166-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,3]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["166"],"URL":"https:\/\/doi.org\/10.1007\/s11787-017-0166-3","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,3]]}}}