Abstract
MV-algebras are bounded commutative integral residuated lattices satisfying the double negation and the divisibility laws. Basic algebras were introduced as a certain generalization of MV-algebras (where associativity and commutativity of the binary operation is neglected). Hence, there is a natural question if also basic algebras can be considered as residuated lattices. We prove that for commutative basic algebras it is the case and for non-commutative ones we involve a modified adjointness condition which gives rise a new generalization of a residuated lattice.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Bělohlávek R (2002) Fuzzy relational systems. Foundations and principles. Kluwer, New York. ISBN 0-306-46777-1
Botur M (2009) An example of a commutative basic algebra which is not an MV-algebra. Math Slovaca (in press)
Botur M, Halaš R (2007) Complete commutative basic algebras. Order 24:89–105
Botur M, Halaš R (2008) Finite commutative basic algebras are MV-algebras. Mult Val Logic Soft Comp 14(1–2):69–80
Chajda I, Halaš R (2008) A basic algebra is an MV-algebra if and only if it is a BCC-algebra. Int J Theor Phys 47:261–267
Chajda I, Halaš R, Kühr J (2005) Distributive lattices with sectionally antitone involutions. Acta Sci Math (Szeged) 71:19–33
Chajda I, Halaš R, Kühr J, Multiple valued quantum algebras. Algebra Universalis. doi:10.1007/s00012-008-2086-9
Chajda I, Halaš R, Kühr J (2007) Semilattice structures. Heldermann Verlag, Lemgo, 228 pp. ISBN 978-3-88538-230-0
Chang CC (1958) Algebraic analysis of many valued logics. Trans Am Math Soc 88:464–490
Cignoli RLO, D’Ottaviano ML, Mundici D (2000) Algebraic foundations of many-valued reasoning. Kluwer, Dordrecht
Hájek P (1998) Metamathematics of fuzzy logic. Kluwer, Dordrecht
Ward M, Dilworth RP (1939) Residuated lattices. Trans Am Math Soc 45:335–354
Author information
Authors and Affiliations
Corresponding author
Additional information
The research was supported by the Research and Development Council of Czech Government via project MSN 6198959214.
Rights and permissions
About this article
Cite this article
Botur, M., Chajda, I. & Halaš, R. Are basic algebras residuated structures?. Soft Comput 14, 251–255 (2010). https://doi.org/10.1007/s00500-009-0399-z
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-009-0399-z