{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,25]],"date-time":"2024-04-25T23:08:22Z","timestamp":1714086502972},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,6,28]],"date-time":"2013-06-28T00:00:00Z","timestamp":1372377600000},"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":[[2013,8]]},"DOI":"10.1007\/s11225-013-9494-3","type":"journal-article","created":{"date-parts":[[2013,6,27]],"date-time":"2013-06-27T02:04:18Z","timestamp":1372298658000},"page":"651-675","source":"Crossref","is-referenced-by-count":7,"title":["Bilattices with Implications"],"prefix":"10.1007","volume":"101","author":[{"given":"F\u00e9lix","family":"Bou","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":[[2013,6,28]]},"reference":[{"key":"9494_CR1","doi-asserted-by":"crossref","unstructured":"Arieli, O., and A. Avron, Logical bilattices and inconsistent data, in LICS, Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France, 1994, pp. 468\u2013476.","DOI":"10.1109\/LICS.1994.316044"},{"issue":"1","key":"9494_CR2","first-page":"25","volume":"5","author":"O. Arieli","year":"1996","unstructured":"Arieli O., Avron A.: Reasoning with logical bilattices, Journal of Logic. Language and Information 5(1), 25\u201363 (1996)","journal-title":"Language and Information"},{"issue":"1","key":"9494_CR3","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","volume":"102","author":"O. Arieli","year":"1998","unstructured":"Arieli O., Avron A.: The value of the four values. Artificial Intelligence 102(1), 97\u2013141 (1998)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"9494_CR4","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1017\/S0960129500000827","volume":"5","author":"A. Avron","year":"1995","unstructured":"Avron A.: A note on the structure of bilattices. Mathematical Structures in Computer Science 5(3), 431\u2013438 (1995)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"3","key":"9494_CR5","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1017\/S0960129500001018","volume":"6","author":"A. Avron","year":"1996","unstructured":"Avron A.: The structure of interlaced bilattices. Mathematical Structures in Computer Science 6(3), 287\u2013299 (1996)","journal-title":"Mathematical Structures in Computer Science"},{"key":"9494_CR6","unstructured":"Belnap, N. D., How a computer should think, in G. Ryle, (ed.), Contemporary Aspects of Philosophy, Oriel Press, Boston, 1976, pp. 30\u201356."},{"key":"9494_CR7","doi-asserted-by":"crossref","unstructured":"Belnap, Jr., N. D., A useful four-valued logic, in J. M. Dunn, and G. Epstein, (eds.), Modern uses of multiple-valued logic (Fifth Internat. Sympos., Indiana Univ., Bloomington, Ind., 1975), Reidel, Dordrecht, 1977, pp. 5\u201337. Episteme, Vol. 2.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"9494_CR8","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","key":"9494_CR9","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(1), 115\u2013141 (2011)","journal-title":"Algebra Universalis"},{"issue":"1","key":"9494_CR10","first-page":"183","volume":"19","author":"F. Bou","year":"2011","unstructured":"Bou F., Rivieccio U.: The logic of distributive bilattices. Logic Journal of the I.G.P.L 19(1), 183\u2013216 (2011)","journal-title":"Logic Journal of the I.G.P.L"},{"key":"9494_CR11","unstructured":"Burris, S., and H. P. Sankappanavar, A course in Universal Algebra, the millennium edn., 2000."},{"issue":"1\u20133","key":"9494_CR12","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.: Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x 2) = (2x)2. Studia Logica 83(1\u20133), 157\u2013181 (2006)","journal-title":"Studia Logica"},{"key":"9494_CR13","doi-asserted-by":"crossref","unstructured":"Conrad, P. F., and M. R. Darnel, Generalized Boolean algebras in lattice-ordered groups, Order 14 (4):295\u2013319, 1997\/98.","DOI":"10.1023\/A:1006075129584"},{"key":"9494_CR14","unstructured":"Curry, H. B., Foundations of mathematical logic, Dover Publications Inc., New York, 1977. Corrected reprinting."},{"key":"9494_CR15","doi-asserted-by":"crossref","unstructured":"Czelakowski, J., Protoalgebraic logics, vol. 10 of Trends in Logic\u2014Studia Logica Library, Kluwer Academic Publishers, Dordrecht, 2001.","DOI":"10.1007\/978-94-017-2807-2"},{"issue":"1","key":"9494_CR16","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.: Dualities for equational classes of Brouwerian algebras and Heyting algebras. Transactions of the Americal Mathematical Society 221(1), 119\u2013146 (1976)","journal-title":"Transactions of the Americal Mathematical Society"},{"key":"9494_CR17","unstructured":"Dunn, J. M., The algebra of intensional logics, Ph. D. Thesis, University of Pittsburgh, 1966."},{"key":"9494_CR18","doi-asserted-by":"crossref","unstructured":"Fitting, M., Bilattices in logic programming, 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":"3","key":"9494_CR19","first-page":"413","volume":"5","author":"J.M. Font","year":"1997","unstructured":"Font J.M.: Belnap\u2018s four-valued logic and De Morgan lattices. Logic Journal of the I.G.P.L. 5(3), 413\u2013440 (1997)","journal-title":"Logic Journal of the I.G.P.L."},{"key":"9494_CR20","first-page":"124","volume":"20","author":"J.M. Font","year":"1991","unstructured":"Font J.M., Guzm\u00e1n F., Verd\u00fa V.: Characterization of the reduced matrices for the $${\\{\\bigvee, \\bigwedge\\}}$$ { \u22c1 , \u22c0 } -fragment of classical logic. Bulletin of the Section of Logic 20, 124\u2013128 (1991)","journal-title":"Bulletin of the Section of Logic"},{"key":"9494_CR21","unstructured":"Font, J. M., and R. Jansana, A general algebraic semantics for sentential logics, vol. 7 of Lecture Notes in Logic, second edn., Springer-Verlag, 2009."},{"key":"9494_CR22","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"},{"issue":"2-3","key":"9494_CR23","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.: A duality theory for bilattices. Algebra Universalis 43(2-3), 109\u2013125 (2000)","journal-title":"Algebra Universalis"},{"key":"9494_CR24","first-page":"101","volume":"58","author":"Y.M. Movsisyan","year":"2006","unstructured":"Movsisyan Y.M., Romanowska A.B., Smith J.D.H.: Superproducts, hyperidentities, and algebraic structures of logic programming. J. Combin. Math. Combin. Comput. 58, 101\u2013111 (2006)","journal-title":"J. Combin. Math. Combin. Comput."},{"key":"9494_CR25","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D. Nelson","year":"1949","unstructured":"Nelson D.: Constructible falsity. The Journal of Symbolic Logic 14, 16\u201326 (1949)","journal-title":"The Journal of Symbolic Logic"},{"issue":"4","key":"9494_CR26","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.: Algebraic semantics for paraconsistent Nelson\u2018s logic. Journal of Logic and Computation 13(4), 453\u2013468 (2003)","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"9494_CR27","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.: On the representation of N4-lattices. Studia Logica 76(3), 385\u2013405 (2004)","journal-title":"Studia Logica"},{"issue":"1","key":"9494_CR28","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1080\/11663081.1999.10510958","volume":"9","author":"A.P. Pynko","year":"1999","unstructured":"Pynko A.P.: Functional completeness and axiomatizability within Belnap\u2018s fourvalued logic and its expansions. Journal of Applied Non-Classical Logics 9(1), 61\u2013105 (1999) Multi-valued logics","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9494_CR29","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":"9494_CR30","unstructured":"Rivieccio, U., An Algebraic Study of Bilattice-based Logics, Ph. D. Dissertation, University of Barcelona, 2010."},{"key":"9494_CR31","unstructured":"Rivieccio, U., Implicative twist-structures, Algebra Universalis, To appear."},{"key":"9494_CR32","unstructured":"Romanowska, A., and A. Trakul, On the structure of some bilattices, in Universal and applied algebra (Turawa, 1988), World Sci. Publ., Teaneck, NJ, 1989, pp. 235\u2013253."},{"key":"9494_CR33","doi-asserted-by":"crossref","unstructured":"W\u00f3jcicki R., Theory of logical calculi. Basic theory of consequence operations, vol. 199 of Synthese Library, Reidel, Dordrecht, 1988.","DOI":"10.1007\/978-94-015-6942-2"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9494-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-013-9494-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9494-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,16]],"date-time":"2019-07-16T12:30:39Z","timestamp":1563280239000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-013-9494-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,28]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,8]]}},"alternative-id":["9494"],"URL":"https:\/\/doi.org\/10.1007\/s11225-013-9494-3","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,6,28]]}}}