Soft Computing

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

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

Foundations
  • 103 Downloads

Abstract

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.

Keywords

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

References

  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 YorkMATHGoogle Scholar
  3. Chang CC (1958) Algebraic analysis of many-valued logics. Trans Am Math Soc 88:467–490MathSciNetCrossRefMATHGoogle Scholar
  4. Cignoli R, D’Ottaviano IML, Mundici D (2000) Algebraic foundations of many-valued reasoning. Kluwer, DordrechtCrossRefMATHGoogle 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–50MATHGoogle 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