{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,14]],"date-time":"2024-06-14T05:12:08Z","timestamp":1718341928445},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,2,4]],"date-time":"2016-02-04T00:00:00Z","timestamp":1454544000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund (AT)","doi-asserted-by":"publisher","award":["Y544-N23"],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1007\/s11225-016-9651-6","type":"journal-article","created":{"date-parts":[[2016,2,4]],"date-time":"2016-02-04T11:44:57Z","timestamp":1454586297000},"page":"567-592","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Natural Dualities Through Product Representations: Bilattices and Beyond"],"prefix":"10.1007","volume":"104","author":[{"given":"L. M.","family":"Cabrer","sequence":"first","affiliation":[]},{"given":"H. A.","family":"Priestley","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,2,4]]},"reference":[{"key":"9651_CR1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O. Arieli","year":"1996","unstructured":"Arieli O., Avron A.: Reasoning with logical bilattices. Journal of Logic Language and Information 5, 25\u201363 (1996)","journal-title":"Journal of Logic Language and Information"},{"key":"9651_CR2","unstructured":"Belnap, N. D., A useful four-valued logic: how a computer should think, in A. R. Anderson, and N. D. Belnap (eds.), Entailment. The Logic of Relevance and Necessity, Vol. II, Princeton University Press, Princeton, 1992, pp. 506\u2013541."},{"key":"9651_CR3","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198599388.001.0001","volume-title":"Ockham Algebras","author":"T. Blyth","year":"1994","unstructured":"Blyth T., Varlet J.: Ockham Algebras. Oxford University Press, Oxford (1994)"},{"key":"9651_CR4","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1093\/jigpal\/jzq041","volume":"19","author":"F. Bou","year":"2011","unstructured":"Bou F., Rivieccio U.: The logic of distributive bilattices. Logic Journal of the IGPL 19, 183\u2013216 (2011)","journal-title":"Logic Journal of the IGPL"},{"key":"9651_CR5","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.: Varieties of interlaced bilattices. Algebra Universalis 66, 115\u2013141 (2011)","journal-title":"Algebra Universalis"},{"key":"9651_CR6","doi-asserted-by":"crossref","unstructured":"Burris, S. N., and H. P. Sankappanavar, A Course in Universal Algebra, Graduate Texts in Mathematics, Vol. 78, Springer, 1981, Free download at http:\/\/www.math.waterloo.ca\/~snburris .","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"9651_CR7","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/s00012-014-0302-3","volume":"72","author":"L. M. Cabrer","year":"2014","unstructured":"Cabrer L. M., Priestley H. A.: Coproducts of distributive lattice-based algebras. Algebra Universalis 72, 251\u2013286 (2014)","journal-title":"Algebra Universalis"},{"key":"9651_CR8","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s00012-015-0316-5","volume":"73","author":"L. M. Cabrer","year":"2015","unstructured":"Cabrer L. M., Priestley H. A.: Distributive bilattices from the perspective of natural duality theory. Algebra Universalis 73, 103\u2013141 (2015)","journal-title":"Algebra Universalis"},{"key":"9651_CR9","doi-asserted-by":"crossref","first-page":"816","DOI":"10.1093\/jigpal\/jzv030","volume":"23","author":"L. M. Cabrer","year":"2015","unstructured":"Cabrer L. M., Priestley H. A.: A general framework for product representations: bilattices and beyond. Logic Journal of the IGPL 23, 816\u2013841 (2015)","journal-title":"Logic Journal of the IGPL"},{"key":"9651_CR10","volume-title":"Dualities for the Working Algebraist","author":"D. M. Clark","year":"1998","unstructured":"Clark D. M., Davey B. A.: Dualities for the Working Algebraist. Cambridge University Press, Cambridge (998))"},{"key":"9651_CR11","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/s00012-013-0258-8","volume":"70","author":"B. A. Davey","year":"2013","unstructured":"Davey B. A.: The product representation theorem for interlaced pre-bilattices: some historical remarks. Algebra Universalis 70, 403\u2013409 (2013)","journal-title":"Algebra Universalis"},{"key":"9651_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0004972700009680","volume":"32","author":"B. A. Davey","year":"1985","unstructured":"Davey B. A., Werner H.: Piggyback-Dualit\u00e4ten. Bulletin of the Australian Mathematical Society 32, 1\u201332 (1985)","journal-title":"Bulletin of the Australian Mathematical Society"},{"key":"9651_CR13","unstructured":"Davey, B. A., M. Haviar, and H. A. Priestley, Piggyback dualities revisited, Algebra Universalis (to appear), available at arXiv:1501.02512v1 ."},{"key":"9651_CR14","doi-asserted-by":"crossref","first-page":"113","DOI":"10.3233\/FI-1994-201234","volume":"20","author":"M. Fitting","year":"1994","unstructured":"Fitting M.: Kleene\u2019s three-valued logics and their children. Fundamenta Informaticae 20, 113\u2013131 (1994)","journal-title":"Fundamenta Informaticae"},{"key":"9651_CR15","doi-asserted-by":"crossref","unstructured":"Fitting, M., Annotated revision specification programs, in Proceedings LPNR\u201995, Lecture Notes in Computer Science, vol. 928, 1995, pp. 143\u2013155.","DOI":"10.1007\/3-540-59487-6_11"},{"key":"9651_CR16","volume-title":"Bilattices are nice things, in Self-reference, CSLI Lecture Notes, Vol. 178","author":"M. Fitting","year":"2006","unstructured":"Fitting : Bilattices are nice things, in Self-reference, CSLI Lecture Notes, Vol. 178. CSLI Publication, Stanford, CA (2006)"},{"key":"9651_CR17","doi-asserted-by":"crossref","unstructured":"Font, J. M., Belnap\u2019s four-valued logic and De Morgan lattices, Logic Journal of the IGPL 5: 413\u2013440, 1997","DOI":"10.1093\/jigpal\/5.3.1-e"},{"key":"9651_CR18","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1080\/11663081.1999.10510967","volume":"9","author":"G. Gargov","year":"1999","unstructured":"Gargov G.: Knowledge, uncertainty and ignorance: bilattices and beyond. Journal of Applied Non-Classical Logics 9, 195\u2013283 (1999)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9651_CR19","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.: Multivalued logics: a uniform approach to inference in artificial intelligence. Computational Intelligence 4, 265\u2013316 (1988)","journal-title":"Computational Intelligence"},{"key":"9651_CR20","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1093\/logcom\/1.1.41","volume":"1","author":"M. L. Ginsberg","year":"1990","unstructured":"Ginsberg M. L.: Bilattices and modal operators. Journal of Logic and Computation 1, 41\u201369 (1990)","journal-title":"Journal of Logic and Computation"},{"key":"9651_CR21","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF01418756","volume":"42","author":"M. S. Goldberg","year":"1983","unstructured":"Goldberg M. S.: Topological duality for distributive Ockham algebras. Studia Logica 42, 23\u201331 (1983)","journal-title":"Studia Logica"},{"key":"9651_CR22","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/s11225-012-9376-0","volume":"100","author":"A. Jung","year":"2012","unstructured":"Jung A., Rivieccio U.: Priestley duality for bilattices. Studia Logica 100, 223\u2013252 (2012)","journal-title":"Studia Logica"},{"key":"9651_CR23","doi-asserted-by":"crossref","unstructured":"Marek, V. W., M. Truszczy\u0144ski, Revision specifications by means of programs, in Proceedings of JELIA\u201995, Lecture Notes in Computer Science, Vol. 838, 1994, pp. 122\u2013136.","DOI":"10.1007\/BFb0021968"},{"key":"9651_CR24","doi-asserted-by":"crossref","unstructured":"Mobasher, B., D. Pigozzi, V. Slutski, and D. Voutsadakis, A duality theory for bilattices, Algebra Universalis 43:109\u2013125, 2000.","DOI":"10.1007\/s000120050149"},{"key":"9651_CR25","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/s11225-014-9546-3","volume":"103","author":"S. P. Odintsov","year":"2015","unstructured":"Odintsov S. P., Wansing H.: The logic of generalized truth values and the logic of bilattices. Studia Logica 103, 91\u2013112 (2015)","journal-title":"Studia Logica"},{"key":"9651_CR26","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/S0304-3975(96)00125-9","volume":"171","author":"P. Ruet","year":"1997","unstructured":"Ruet P., Fages F.: Combining explicit negation and negation by failure via Belnap\u2019s logic. Theoretical Computer Science 171, 61\u201375 (1997)","journal-title":"Theoretical Computer Science"},{"key":"9651_CR27","volume-title":"Truth and Falsehood. An Inquiry into Generalized Logical Values","author":"Y. Shramko","year":"2011","unstructured":"Shramko Y., Wansing H.: Truth and Falsehood. An Inquiry into Generalized Logical Values. Springer, Dordrecht (2011)"},{"key":"9651_CR28","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/BF00370442","volume":"38","author":"A. Urquhart","year":"1979","unstructured":"Urquhart A.: Distributive lattices with a dual homomorphic operation. Studia Logica 38, 201\u2013209 (1979)","journal-title":"Studia Logica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9651-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-016-9651-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9651-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,14]],"date-time":"2024-06-14T04:54:25Z","timestamp":1718340865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-016-9651-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2,4]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,6]]}},"alternative-id":["9651"],"URL":"https:\/\/doi.org\/10.1007\/s11225-016-9651-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,2,4]]}}}