{ "id": "1203.6056", "version": "v1", "published": "2012-03-27T19:34:49.000Z", "updated": "2012-03-27T19:34:49.000Z", "title": "On Generalized I-Algebras and 4-valued Modal Algebras", "authors": [ "Aldo V. Figallo", "Paolo Landini" ], "journal": "Rep. Math. Logic No. 29 (1995), 3-18 (1996)", "categories": [ "math.LO" ], "abstract": "In this paper we establish a new characterization of 4-valued modal algebras considered by A. Monteiro. In order to obtain this characterization we introduce a new class of algebras named generalized I-algebras. This class contains strictly the class of C-algebras defined by Y. Komori as an algebraic counterpart of the infinite-valued implicative Lukasiewicz propositional calculus. On the other hand, the relationship between I-algebras and conmutative BCK-algebras, defined by S. Tanaka in 1975, allows us to say that in a certain sense G-algebras are also a generalization of these latter algebras", "revisions": [ { "version": "v1", "updated": "2012-03-27T19:34:49.000Z" } ], "analyses": { "keywords": [ "modal algebras", "infinite-valued implicative lukasiewicz propositional calculus", "algebraic counterpart", "characterization", "sense g-algebras" ], "tags": [ "journal article" ], "note": { "typesetting": "TeX", "pages": 0, "language": "en", "license": "arXiv", "status": "editable", "adsabs": "2012arXiv1203.6056F" } } }