{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T09:57:09Z","timestamp":1785319029237,"version":"3.55.0"},"reference-count":8,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T00:00:00Z","timestamp":1236124800000},"content-version":"unspecified","delay-in-days":4659,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[1996,6]]},"abstract":"<jats:p>Bilattices were introduced and applied by Ginsberg and Fitting for a diversity of applications, such as truth maintenance systems, default inferences and logic programming. In this paper we investigate the structure and properties of a particularly important class of bilattices called interlaced bilattices, which were introduced by Fitting. The main results are that every interlaced bilattice is isomorphic to the Ginsberg-Fitting product of two bounded lattices and that the variety of interlaced bilattices is equivalent to the variety of bounded lattices with two distinguishable distributive elements, which are complements of each other. This implies that interlaced bilattices can be characterized using a finite set of equations. Our results generalize to interlaced bilattices some results of Ginsberg, Fitting and J\u00f3nsson for distributive bilattices.<\/jats:p>","DOI":"10.1017\/s0960129500001018","type":"journal-article","created":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T09:00:02Z","timestamp":1236157202000},"page":"287-299","source":"Crossref","is-referenced-by-count":41,"title":["The structure of interlaced bilattices"],"prefix":"10.1017","volume":"6","author":[{"given":"A.","family":"Avron","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2009,3,4]]},"reference":[{"key":"S0960129500001018_ref004","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1109\/ISMVL.1990.122627","volume-title":"The 20th Int. Symp. On Multiple-Valued Logic","author":"Fitting","year":"1990"},{"key":"S0960129500001018_ref003","first-page":"63","volume-title":"Proc. 4th Annual Symp. on Logic in Computer Science","author":"Fitting","year":"1989"},{"key":"S0960129500001018_ref002","unstructured":"Birkhoff G. (1948) Lattice Theory, A.M.S., Providence."},{"key":"S0960129500001018_ref006","doi-asserted-by":"crossref","first-page":"113","DOI":"10.3233\/FI-1994-201234","article-title":"Kleene\u2019s three-valued logics and their children","volume":"20","author":"Fitting","year":"1994","journal-title":"Fundamenta Informaticae"},{"key":"S0960129500001018_ref005","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)90014-G"},{"key":"S0960129500001018_ref001","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500000827"},{"key":"S0960129500001018_ref008","volume-title":"Distributive Bilattices","author":"J\u00f3nsson","year":"1994"},{"key":"S0960129500001018_ref007","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1988.tb00280.x"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129500001018","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,16]],"date-time":"2020-05-16T08:42:43Z","timestamp":1589618563000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129500001018\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6]]},"references-count":8,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,6]]}},"alternative-id":["S0960129500001018"],"URL":"https:\/\/doi.org\/10.1017\/s0960129500001018","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,6]]}}}