Soft Computing

, Volume 21, Issue 22, pp 6563–6569 | Cite as

\(C_{n}{} { MV}_{m}\)-algebras

  • Ramaz Liparteliani


We introduce the theory of new algebras which have MV-algebra signature enriched with unary operations. These operations are of closure operation type. The appropriate logical system with modalities is constructed.


\({{\textit{MV}}_n}\)-algebra Closure Operations Free Algebra Lukasiewicz logic 



I would like to thank Prof. Revaz Grigolia, who gave me many useful advices, also a referee for improvement of the readability of this paper.

Compliance with ethical standards

Conflicts of interest

The author declares that he has no conflict of interest.


  1. Baaz M (1996) Infinite-valued Gödel logics with 0–1-projections and relativizations. In: Gödel (ed) ’96 Springer. Lecture Notes in Logic, vol 6. Springer, Berlin, pp 23–33Google Scholar
  2. Birkhoff G (1967) Lattice theory. American Mathematical Society, New YorkzbMATHGoogle Scholar
  3. Chang CC (1958) Algebraic analysis of many-valued logics. Trans Am Math Soc 88:467–490MathSciNetCrossRefzbMATHGoogle Scholar
  4. Cignoli R, D’Ottaviano IML, Mundici D (2000) Algebraic foundations of many-valued reasoning. Kluwer, DordrechtCrossRefzbMATHGoogle Scholar
  5. Di Nola A, Grigolia R, Lettieri A, Loia V (2002) Cellular logic based automata. In: Proceedings of institute of cybernetics, vol 2, No (1–2)Google Scholar
  6. Grigolia R (1977) Algebraic analysis of Lukasievicz-Tarski n-valued logical systems. Selected papers on Lukasiewicz Sentential Calculi, Wroclaw, pp 81–91Google Scholar
  7. Lukasiewicz J, Tarski A (1930) Untersuchungen űber den Aussagenkalkűl. Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe II I(25):30–50zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2016

Authors and Affiliations

  1. 1.Department of Computer Sciences, Faculty of Exact and Natural SciencesTbilisi State UniversityTbilisiGeorgia

Personalised recommendations