{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T23:51:45Z","timestamp":1772841105334,"version":"3.50.1"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,8,14]],"date-time":"2011-08-14T00:00:00Z","timestamp":1313280000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1007\/s00500-011-0752-x","type":"journal-article","created":{"date-parts":[[2011,8,13]],"date-time":"2011-08-13T06:17:27Z","timestamp":1313216247000},"page":"493-504","source":"Crossref","is-referenced-by-count":11,"title":["Residuated bilattices"],"prefix":"10.1007","volume":"16","author":[{"given":"Ramon","family":"Jansana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Umberto","family":"Rivieccio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,8,14]]},"reference":[{"issue":"1","key":"752_CR1","first-page":"25","volume":"5","author":"O Arieli","year":"1996","unstructured":"Arieli O, Avron A (1996) Reasoning with logical bilattices. J Log Lang Inform 5(1):25\u201363","journal-title":"J Log Lang Inform"},{"issue":"3","key":"752_CR2","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1017\/S0960129500001018","volume":"6","author":"A Avron","year":"1996","unstructured":"Avron A (1996) The structure of interlaced bilattices. Math Struct Comput Sci 6(3):287\u2013299","journal-title":"Math Struct Comput Sci"},{"key":"752_CR3","doi-asserted-by":"crossref","unstructured":"Bou F, Jansana R, Rivieccio U (2011) Varieties of interlaced bilattices. Algebra Universalis (in press)","DOI":"10.1007\/s00012-011-0151-2"},{"issue":"1","key":"752_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 (2011) The logic of distributive bilattices. Log J IGPL 19(1):183\u2013216","journal-title":"Log J IGPL"},{"issue":"6","key":"752_CR5","doi-asserted-by":"crossref","first-page":"1019","DOI":"10.1093\/logcom\/exp028","volume":"19","author":"M Busaniche","year":"2009","unstructured":"Busaniche M, Cignoli R (2009) Residuated lattices as an algebraic semantics for paraconsistent Nelson\u2019s logic. J Log Comput 19(6):1019\u20131029","journal-title":"J Log Comput"},{"issue":"2","key":"752_CR6","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1023\/B:STUD.0000037126.29193.09","volume":"77","author":"N Galatos","year":"2004","unstructured":"Galatos N, Raftery JG (2004) Adding involution to residuated structures. Studia Log 77(2):181\u2013207","journal-title":"Studia Log"},{"key":"752_CR7","unstructured":"Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics. In: Studies in logic and the foundations of mathematics, vol 151. Elsevier, Amsterdam."},{"key":"752_CR8","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"ML Ginsberg","year":"1988","unstructured":"Ginsberg ML (1988) Multivalued logics: A uniform approach to inference in artificial intelligence. Comput Intell 4: 265\u2013316. doi: 10.1111\/j.1467-8640.1988.tb00280.x","journal-title":"Comput Intell"},{"issue":"2\u20133","key":"752_CR9","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 (2000) A duality theory for bilattices. Algebra Universalis 43(2\u20133):109\u2013125","journal-title":"Algebra Universalis"},{"key":"752_CR10","first-page":"101","volume":"58","author":"YM Movsisyan","year":"2006","unstructured":"Movsisyan YM, Romanowska AB, Smith JDH (2006) Superproducts, hyperidentities, and algebraic structures of logic programming. J Combin Math Combin Comput 58:101\u2013111","journal-title":"J Combin Math Combin Comput"},{"issue":"4","key":"752_CR11","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1093\/logcom\/13.4.453","volume":"13","author":"SP Odintsov","year":"2003","unstructured":"Odintsov SP (2003) Algebraic semantics for paraconsistent Nelson\u2019s logic. J Log Comput 13(4):453\u2013468. doi: 10.1093\/logcom\/13.4.453","journal-title":"J Log Comput"},{"issue":"3","key":"752_CR12","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1023\/B:STUD.0000032104.14199.08","volume":"76","author":"SP Odintsov","year":"2004","unstructured":"Odintsov SP (2004) On the representation of N4-lattices. Studia Log 76(3):385\u2013405. doi: 10.1023\/B:STUD.0000032104.14199.08","journal-title":"Studia Logica"},{"issue":"3","key":"752_CR13","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/s11225-009-9181-6","volume":"91","author":"SP Odintsov","year":"2009","unstructured":"Odintsov SP (2009) On axiomatizing shramko-wansing\u2019s logic. Studia Log 91(3):407\u2013428. doi: 10.1007\/s11225-009-9181-6","journal-title":"Studia Log"},{"key":"752_CR14","unstructured":"Rivieccio U (2010) An algebraic study of bilattice-based logics. Ph.D. dissertation, University of Barcelona"},{"issue":"1\u20133","key":"752_CR15","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/s11225-006-8311-7","volume":"83","author":"C Tsinakis","year":"2006","unstructured":"Tsinakis C, Wille AM (2006) Minimal varieties of involutive residuated lattices. Studia Log 83(1\u20133):407\u2013423. doi: 10.1007\/s11225-006-8311-7","journal-title":"Studia Log"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-011-0752-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-011-0752-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-011-0752-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T01:34:13Z","timestamp":1560476053000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-011-0752-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8,14]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["752"],"URL":"https:\/\/doi.org\/10.1007\/s00500-011-0752-x","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,8,14]]}}}