{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:49:28Z","timestamp":1726411768921},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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":[[1996]]},"DOI":"10.1007\/bf00370148","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T23:49:37Z","timestamp":1099439377000},"page":"225-261","source":"Crossref","is-referenced-by-count":6,"title":["Semilattice-based dualities"],"prefix":"10.1007","volume":"56","author":[{"given":"A. B.","family":"Romanowska","sequence":"first","affiliation":[]},{"given":"J. D. H.","family":"Smith","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","first-page":"63","volume-title":"General Topology and its Relation to Modern Analysis and Algebra, (Proc. Kanpur Topology Conference 1968)","author":"B. Banaschewski","year":"1971","unstructured":"Banaschewski, B., 1971, ?Projective covers in categories of topological spaces and topological algebras?, General Topology and its Relation to Modern Analysis and Algebra, (Proc. Kanpur Topology Conference 1968), Academia, Prague, 63?91."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/BFb0063428","volume-title":"Universal Algebra and Lattice Theory","author":"J. Berman","year":"1983","unstructured":"Berman, J., 1983, ?Free spectra of 3-element algebras?, Universal Algebra and Lattice Theory, R.S. Freese and O.C. Garcia, eds., Springer, Berlin, 10?53."},{"key":"CR3","volume-title":"Lattice Theory","author":"G. Birkhoff","year":"1967","unstructured":"Birkhoff, G., 1967, Lattice Theory (3rd.ed.), American Mathematical Society, Providence, R.I.","edition":"3rd.ed."},{"key":"CR4","first-page":"287","volume":"46","author":"D. A. Bochvar","year":"1938","unstructured":"Bochvar, D. A., 1938, ?On a three-valued logical calculus and its application to the analysis of contradictions?, (Russian), Mat. Sb. 46, 287?308, English translation in Hist. Philos. Logic 2, 1981, 87?112.","journal-title":"Mat. Sb."},{"key":"CR5","unstructured":"Davey, B. A., 1992, ?Duality theory on ten dollars a day?, La Trobe University Mathematics Research Paper 131 (92?3)."},{"key":"CR6","first-page":"101","volume":"33","author":"B. A. Davey","year":"1980","unstructured":"Davey, B. A. and H. Werner, 1980, ?Dualities and equivalences for varieties of algebras?, Colloq. Math. Soc. J. Bolyai 33, 101?275.","journal-title":"Colloq. Math. Soc. J. Bolyai"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1017\/S1446788700034224","volume":"51","author":"G. Gierz","year":"1991","unstructured":"Gierz, G. and A. Romanowska, 1991, ?Duality for distributive bisemilattices?, J. Austral. Math. Soc. Series A 51, 247?275.","journal-title":"J. Austral. Math. Soc. Series A"},{"key":"CR8","unstructured":"Guzm\u00e1n, F., 1992, Three-valued logics in the semantics of programming languages, preprint."},{"key":"CR9","first-page":"70","volume":"83","author":"E. Hewitt","year":"1956","unstructured":"Hewitt, E. and H. S. Zuckerman, 1956, ?The l 1-algebra of a commutative semigroup?, Trans. Amer. Math. Soc. 83, 70?97.","journal-title":"Trans. Amer. Math. Soc."},{"key":"CR10","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0065929","volume-title":"The Pontryagin Duality of Compact O-Dimensional Semilattices and its Applications","author":"K. H. Hofmann","year":"1974","unstructured":"Hofmann, K. H., M. Mislove and A. Stralka, 1974, The Pontryagin Duality of Compact O-Dimensional Semilattices and its Applications, Springer, Berlin."},{"key":"CR11","volume-title":"An Introduction to Semigroup Theory","author":"J. M. Howie","year":"1976","unstructured":"Howie, J. M., 1976, An Introduction to Semigroup Theory, Academic Press, London."},{"key":"CR12","first-page":"39","volume":"23","author":"P. M. Idziak","year":"1989","unstructured":"Idziak, P. M., 1989, ?Sheaves in universal algebra and model theory?, Reports on Math. Logic 23, 39?65.","journal-title":"Reports on Math. Logic"},{"key":"CR13","volume-title":"Stone Spaces","author":"P. T. Johnstone","year":"1982","unstructured":"Johnstone, P. T., 1982, Stone Spaces, Cambridge University Press, Cambridge."},{"key":"CR14","volume-title":"Introduction to Metamathematics","author":"S. C. Kleene","year":"1952","unstructured":"Kleene, S. C., 1952, Introduction to Metamathematics, Van Nostrand, Princeton."},{"key":"CR15","unstructured":"Libkin, L., 1993, Towards a theory of edible powerdomains, preprint."},{"key":"CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane, S., 1971, Categories for the Working Mathematician, Springer, Berlin."},{"key":"CR17","volume-title":"Sheaves in Geometry and Logic","author":"S. Mac Lane","year":"1992","unstructured":"Mac Lane, S. and I. Moerdijk, 1992, Sheaves in Geometry and Logic, Springer, Berlin."},{"key":"CR18","unstructured":"Mel'nik, I. I., 1971, ?Normal closures of perfect varieties of universal algebras?, Ordered Sets and Lattices, (Russian), Izdat. Sarat. Univ., 56?65."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"191","DOI":"10.4064\/fm-60-2-191-200","volume":"60","author":"J. P?onka","year":"1967","unstructured":"P?onka, J., 1967, ?On distributive quasi-lattices?, Fund. Math. 60, 191?200.","journal-title":"Fund. Math."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"183","DOI":"10.4064\/fm-61-2-183-189","volume":"61","author":"J. P?onka","year":"1967","unstructured":"P?onka, J., 1967, ?On a method of construction of abstract algebras?, Fund. Math. 61, 183?189.","journal-title":"Fund. Math."},{"key":"CR21","doi-asserted-by":"crossref","first-page":"241","DOI":"10.4064\/fm-64-2-241-247","volume":"64","author":"J. P?onka","year":"1969","unstructured":"P?onka, J., 1969, ?On equational classes of algebras defined by regular equations?, Fund. Math. 64, 241?247.","journal-title":"Fund. Math."},{"key":"CR22","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF01190429","volume":"19","author":"J. P?onka","year":"1984","unstructured":"P?onka, J., 1984, ?On the sum of a direct system of universal algebras with nullary polynomials?, Alg. Univ. 19, 197?207.","journal-title":"Alg. Univ."},{"key":"CR23","first-page":"301","volume":"20","author":"J. P?onka","year":"1985","unstructured":"P?onka, J., 1985, ?On the sum of a i-semilattice ordered system of algebras?, Studia Scient. Math. Hungar. 20, 301?307.","journal-title":"Studia Scient. Math. Hungar."},{"key":"CR24","unstructured":"P?onka, J., 1991, ?Characteristic algebras in some varieties defined by symmetrically regular identities?, Contributions to General Algebra 7, D. Dorninger, G. Eigenthaler, H. K. Kaiser and W. B. M\u00fcller, eds., H\u00f6lder-Pichler-Tempsky, Vienna, 265?276."},{"key":"CR25","first-page":"123","volume-title":"Universal Algebra and Quasigroup Theory","author":"J. P?onka","year":"1992","unstructured":"P?onka, J. and A. Romanowska, 1992, ?Semilattice sums?, Universal Algebra and Quasigroup Theory, A Romanowska and J.D.H. Smith, eds., Heldermann, Berlin, 123?158."},{"key":"CR26","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"H. A. Priestley","year":"1970","unstructured":"Priestley, H. A., 1970, ?Representation of distributive lattices by means of ordered Stone spaces?, Bull. Lond. Math. Soc. 2, 186?190.","journal-title":"Bull. Lond. Math. Soc."},{"key":"CR27","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1112\/plms\/s3-24.3.507","volume":"24","author":"H. A. Priestley","year":"1972","unstructured":"Priestley, H. A., 1972, ?Ordered topological spaces and the representation of distributive lattices?, Proc. Lond. Math. Soc. 24, 507?530.","journal-title":"Proc. Lond. Math. Soc."},{"key":"CR28","doi-asserted-by":"crossref","unstructured":"Puhlmann, H., 1993, ?The snack powerdomain for database semantics?, Mathematical Foundations of Computer Science, A. M. Borcyszkowski, S. Soko?owski (eds), 650?659.","DOI":"10.1007\/3-540-57182-5_56"},{"key":"CR29","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/BF01230618","volume":"23","author":"A. B. Romanowska","year":"1986","unstructured":"Romanowska, A. B., 1986, ?On regular and regularized varieties?, Alg. Univ. 23 215?241.","journal-title":"Alg. Univ."},{"key":"CR30","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BFb0098469","volume-title":"Universal Algebra and Lattice Theory","author":"A. B. Romanowska","year":"1985","unstructured":"Romanowska, A. B. and J. D. H. Smith, 1985, ?From affine to projective geometry via convexity?, Universal Algebra and Lattice Theory, S.D. Comer, ed., Springer, Berlin, 255?269."},{"key":"CR31","volume-title":"Modal Theory","author":"A. B. Romanowska","year":"1985","unstructured":"Romanowska, A. B. and J. D. H. Smith, 1985, Modal Theory, Heldermann, Berlin."},{"key":"CR32","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1016\/0021-8693(89)90197-X","volume":"120","author":"A. B. Romanowska","year":"1989","unstructured":"Romanowska, A. B. and J. D. H. Smith, 1989, ?Subalgebra systems of idempotent entropie algebras?, J. Algebra 120, 247?262.","journal-title":"J. Algebra"},{"key":"CR33","doi-asserted-by":"crossref","first-page":"24","DOI":"10.21136\/CMJ.1991.102429","volume":"41","author":"A. B. Romanowska","year":"1991","unstructured":"Romanowska, A. B. and J. D. H. Smith, 1991, ?On the structure of semilattice sums?, Czech. J. Math. 41, 24?43.","journal-title":"Czech. J. Math."},{"key":"CR34","unstructured":"Romanowska, A. B. and J. D. H. Smith 1993, ?Duality for semilattice representations?, preprint."},{"key":"CR35","volume-title":"Einf\u00fchrung in die Theorie der Kategorien und Funktoren","author":"Z. Semadeni","year":"1979","unstructured":"Semadeni, Z. and A. Wiweger, 1979, Einf\u00fchrung in die Theorie der Kategorien und Funktoren, Teubner, Leipzig."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370148.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370148\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370148","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,27]],"date-time":"2021-06-27T12:58:52Z","timestamp":1624798732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370148"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"references-count":35,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1996]]}},"alternative-id":["BF00370148"],"URL":"https:\/\/doi.org\/10.1007\/bf00370148","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1996]]}}}