{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T02:40:02Z","timestamp":1742438402167,"version":"3.40.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2012,2,9]],"date-time":"2012-02-09T00:00:00Z","timestamp":1328745600000},"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":[[2012,4]]},"DOI":"10.1007\/s11225-012-9376-0","type":"journal-article","created":{"date-parts":[[2012,2,8]],"date-time":"2012-02-08T05:12:47Z","timestamp":1328677967000},"page":"223-252","source":"Crossref","is-referenced-by-count":13,"title":["Priestley Duality for Bilattices"],"prefix":"10.1007","volume":"100","author":[{"given":"A.","family":"Jung","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"U.","family":"Rivieccio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,2,9]]},"reference":[{"issue":"1","key":"9376_CR1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O. Arieli","year":"1996","unstructured":"Arieli O., Avron A.: \u2018Reasoning with logical bilattices\u2019. Journal of Logic, Language and Information 5(1), 25\u201363 (1996)","journal-title":"Journal of Logic, Language and Information"},{"issue":"3","key":"9376_CR2","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1017\/S0960129500001018","volume":"6","author":"A. Avron","year":"1996","unstructured":"Avron A.: \u2018The structure of interlaced bilattices\u2019. Mathematical Structures in Computer Science 6(3), 287\u2013299 (1996)","journal-title":"Mathematical Structures in Computer Science"},{"key":"9376_CR3","doi-asserted-by":"crossref","unstructured":"Blok, W. J., and D. Pigozzi, Algebraizable logics, vol. 396 of Mem. Amer. Math. Soc., A.M.S., Providence, 1989.","DOI":"10.1090\/memo\/0396"},{"issue":"1-2","key":"9376_CR4","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/s00012-011-0151-2","volume":"66","author":"F. Bou","year":"2011","unstructured":"Bou F., Jansana R., Rivieccio U.: \u2018Varieties of interlaced bilattices\u2019. Algebra Universalis 66(1-2), 115\u2013141 (2011)","journal-title":"Algebra Universalis"},{"issue":"1","key":"9376_CR5","first-page":"183","volume":"19","author":"F. Bou","year":"2011","unstructured":"Bou F., Rivieccio U.: \u2018The logic of distributive bilattices\u2019. Logic Journal of the I.G.P.L. 19(1), 183\u2013216 (2011)","journal-title":"Logic Journal of the I.G.P.L."},{"issue":"1-3","key":"9376_CR6","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/s11225-006-8302-8","volume":"83","author":"R. Cignoli","year":"2006","unstructured":"Cignoli R., Torrens A.: \u2018Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x 2) =\u00a0(2x)2\u2032. Studia Logica 83(1-3), 157\u2013181 (2006)","journal-title":"Studia Logica"},{"issue":"1","key":"9376_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0004972700022966","volume":"16","author":"W.H. Cornish","year":"1977","unstructured":"Cornish W.H., Fowler P.R.: \u2018Coproducts of De Morgan algebras\u2019. Bull. Austral. Math. Soc. 16(1), 1\u201313 (1977)","journal-title":"Bull. Austral. Math. Soc."},{"issue":"2","key":"9376_CR8","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1017\/S1446788700012131","volume":"27","author":"W.H. Cornish","year":"1979","unstructured":"Cornish W.H., Fowler P.R.: \u2018Coproducts of Kleene algebras\u2019. J. Austral. Math. Soc. Ser. A 27(2), 209\u2013220 (1979)","journal-title":"J. Austral. Math. Soc. Ser. A"},{"issue":"1","key":"9376_CR9","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1090\/S0002-9947-1976-0412063-9","volume":"221","author":"B.A. Davey","year":"1976","unstructured":"Davey B.A.: \u2018Dualities for equational classes of Brouwerian algebras and Heyting algebras\u2019. Transactions of the American Mathematical Society 221(1), 119\u2013146 (1976)","journal-title":"Transactions of the American Mathematical Society"},{"key":"9376_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"B.A. Davey","year":"2002","unstructured":"Davey B.A., Priestley H.A.: Introduction to Lattices and Order, 2nd edition. Cambridge University Press, Cambridge (2002)","edition":"2"},{"key":"9376_CR11","first-page":"147","volume":"15","author":"L. Esakia","year":"1974","unstructured":"Esakia L.: \u2018Topological Kripke models\u2019. Soviet Math. Dokl. 15, 147\u2013151 (1974)","journal-title":"Soviet Math. Dokl."},{"key":"9376_CR12","doi-asserted-by":"crossref","unstructured":"Fitting, M., \u2018Bilattices in logic programming\u2019, in Proceedings of the 20th International Symposium on Multiple-Valued Logic, The IEEE Computer Society Press, Charlotte, 1990, pp. 238\u2013246.","DOI":"10.1109\/ISMVL.1990.122627"},{"issue":"1-3","key":"9376_CR13","doi-asserted-by":"crossref","first-page":"113","DOI":"10.3233\/FI-1994-201234","volume":"20","author":"M. Fitting","year":"1994","unstructured":"Fitting M.: \u2018Kleene\u2019s three-valued logics and their children\u2019. Fundamenta Informaticae 20(1-3), 113\u2013131 (1994) Special Anniversary Issue: 20th volume of Fundamenta Informaticae.","journal-title":"Fundamenta Informaticae"},{"key":"9376_CR14","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"M.L. Ginsberg","year":"1988","unstructured":"Ginsberg M.L.: \u2018Multivalued logics: A uniform approach to inference in artificial intelligence\u2019. Computational Intelligence 4, 265\u2013316 (1988)","journal-title":"Computational Intelligence"},{"key":"9376_CR15","unstructured":"Jung, A., and M. Andrew Moshier, \u2018On the bitopological nature of Stone duality\u2019, Tech. rep., School Computer Science, The University of Birmingham, 2006. Technical Report CSR-06-13."},{"issue":"2-3","key":"9376_CR16","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/s000120050149","volume":"43","author":"B. Mobasher","year":"2000","unstructured":"Mobasher B., Pigozzi D., Slutzki G., Voutsadakis G.: \u2018A duality theory for bilattices\u2019. Algebra Universalis 43(2-3), 109\u2013125 (2000)","journal-title":"Algebra Universalis"},{"key":"9376_CR17","first-page":"101","volume":"58","author":"Y.M. Movsisyan","year":"2006","unstructured":"Movsisyan Y.M., Romanowska A.B., Smith J.D.H.: \u2018Superproducts, hyperidentities, and algebraic structures of logic programming\u2019. J. Combin. Math. Combin. Comput. 58, 101\u2013111 (2006)","journal-title":"J. Combin. Math. Combin. Comput."},{"issue":"4","key":"9376_CR18","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1093\/logcom\/13.4.453","volume":"13","author":"S.P. Odintsov","year":"2003","unstructured":"Odintsov S.P.: \u2018Algebraic semantics for paraconsistent Nelson\u2019s logic\u2019. Journal of Logic and Computation 13(4), 453\u2013468 (2003)","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"9376_CR19","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1023\/B:STUD.0000032104.14199.08","volume":"76","author":"S.P. Odintsov","year":"2004","unstructured":"Odintsov S.P.: \u2018On the representation of N4-lattices\u2019. Studia Logica 76(3), 385\u2013405 (2004)","journal-title":"Studia Logica"},{"issue":"1","key":"9376_CR20","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/s11225-010-9274-2","volume":"96","author":"S.P. Odintsov","year":"2010","unstructured":"Odintsov S.P.: \u2018Priestley duality for paraconsistent Nelson\u2019s logic\u2019. Studia Logica 96(1), 65\u201393 (2010)","journal-title":"Studia Logica"},{"key":"9376_CR21","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.: \u2018Representation of distributive lattices by means of ordered Stone spaces\u2019. Bull. London Math. Soc. 2, 186\u2013190 (1970)","journal-title":"Bull. London Math. Soc."},{"key":"9376_CR22","doi-asserted-by":"crossref","unstructured":"Priestley, H. A., \u2018Ordered sets and duality for distributive lattices\u2019, in M. Pouzet, and D. Richard (eds.), Orders: Descriptions and Roles, vol. 23 of Annals of Discrete Mathematics, North-Holland, 1984, pp. 39\u201360.","DOI":"10.1016\/S0304-0208(08)73814-3"},{"key":"9376_CR23","volume-title":"An algebraic approach to non-classical logics, vol. 78 of Studies in Logic and the Foundations of Mathematics","author":"H. Rasiowa","year":"1974","unstructured":"Rasiowa H.: An algebraic approach to non-classical logics, vol. 78 of Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam (1974)"},{"key":"9376_CR24","unstructured":"Rivieccio, U., An Algebraic Study of Bilattice-based Logics, Ph.D. Dissertation, University of Barcelona, 2010. Electronic version available at http:\/\/arxiv.org\/abs\/1010.2552"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9376-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-012-9376-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9376-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T02:07:09Z","timestamp":1742436429000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-012-9376-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2,9]]},"references-count":24,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2012,4]]}},"alternative-id":["9376"],"URL":"https:\/\/doi.org\/10.1007\/s11225-012-9376-0","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2012,2,9]]}}}