[1] S. Aguzzoli, S. Bova, V. Marra, Applications of nite duality to locally nite varieties of BL-algebras,
in Logical Foundations of Computer Science. (International Symposium, LFCS 2009, Deerfield Beach, FL, USA), ser. Lecture Notes in Computer Science, S. Artemov and A. Nerode, Eds. Berlin: Springer,
5407, (2009), 1–15.
[2] L.P. Belluce, C.C. Chang, A weak completeness theorem for in nite valued predicate logic, Journal of
Symbolic Logic, 28 (1963), 43–50.
[3] L.P. Belluce, A. Di Nola, B. Gerla, Perfect MV -algebras and their logic, Applied Categorical Structures,
15(1-2) (2007), 135–151.
[4] L.P. Belluse, A. Di Nola, A. Lettieri, Local MV-algebras, Rendiconti Circolo Matematico di Palermo,
42 (1993), 347–361.
[5] G. Birkhoff, Lattice theory, Providence, Rhode Island, 1967.
[6] L.M. Cabrer, D. Mundici, Projective MV -algebras and rational polyhedra, Algebra Universalis, 62
(2009), 63–74.
[7] C.C. Chang, Algebraic analysis of many-valued logics, Transactions of the American Mathematical
Society, 88 (1958), 467–490.
[8] C.C. Chang, A new proof of the completeness of the Lukasiewicz axioms, Transactions of the American
Mathematical Society, 93 (1959), 74–80.
[9] R.L.O. Cignoli, I.M.L. D’Ottaviano, D. Mundici, Algebraic foundations of many-valued reasoning, volume
7 of Trends in Logic Studia Logica Library. Kluwer Academic Publishers, Dordrecht, 2000.
[10] A. Di Nola, Representation and reticulation by quotients of MV -algebras, Ricerche di Matematica,
(Naplies), 40 (1991), 291–297.
[11] A. Di Nola, R. Grigolia, Projective MV-algebras and their automorphism groups, Journal of Multi-
Valued Logic and Soft Computing, 9 (2003), 291–317.
[12] A. Di Nola, R. Grigolia, On monadic MV-algebras, Annals of Pure and Applied Logic, 128(1-3) (2004),
125–139.
[13] A. Di Nola, R. Grigolia, Godel spaces and perfect MV-algebras, Journal of Applied Logic, 13(3) (2015),
270–284.
[14] A. Di Nola, R. Grigolia, G. Lenzi, Structural completeness and uni cation problem of the logic of chang
algebra, Azerbaijan Journal of Mathematics, 6(1) (2016), 23–38.
[15] A. Di Nola, R. Grigolia, A. Lettieri, Projective MV-algebras, International Journal of Approximate
Reasoning, 47 (2008), 323–332.
[16] A. Di Nola, R. Grigolia, R. Liparteliani, On the free S!
1 -algebras, Journal of Algebraic Hyperstructures
and Logical Algebras, 1(2) (2020), 1–7.
[17] A. Di Nola, R. Grigolia, N. Mitskevich, Multimodal epistemic Lukasiewicz logics with application in
immune system, Soft Computing, 19(11) (2015), 3341–3351.
[18] A. Di Nola, R. Grigolia, N. Mitskevich, G. Vitale, Dynamic Lukasiewicz logic and its application to
immune system, Soft Computing, 25 (2021), 9773–9780.
[19] A. Di Nola, R. Grigolia, G. Panti, Finitely generated free MV-algebras and their automorphism groups,
Studia Logica, 61(1) (1998), 65–78.
[20] A. Di Nola, R. Grigolia, L. Spada, A discrete representation of free MV-algebras, Mathematical Logic
Quarterly, 56(3) (2010), 279–288.
[21] A. Di Nola, R. Grigolia, E. Turunen, Fuzzy logic of quasi-truth: An algebraic treatment, Springer,
Series: Studies in Fuzziness and Soft Computing, Vol. 338, 117 pages, 2016.
[22] A. Di Nola, R. Grigolia, G. Vitale, Dynamic Lukasiewicz logic and dynamic MV-algebras, International
Journal of Approximate Reasoning, 124 (2020), 103–110.
[23] A. Di Nola, A. Lettieri, Perfect MV-algebras categorically equivalent to Abelian ℓ-groups, Studia Logica:
An International Journal for Symbolic Logic, 53(3) (1994), 417–432.
[24] A. Di Nola, A. Lettieri, Equational characterization of all varieties of MV-algebras, Journal of Algebra,
221 (1999), 463–474.
[25] W. Dzik, Uni cation in some substructural logics of BL-algebras and hoops, Reports in Mathematical
Logic, 43 (2008), 73–83.
[26] S. Ghilardi, Uni cation through projectivity, Journal of Logic and Computation, 7 (1997), 733–752.
[27] S. Ghilardi, Uni cation in intuitionistic and De Morgan logic, Journal of Symbolic Logic, 64(2) (1999),
859–880.
[28] S. Ghilardi, Best solving modal equations, Annals of Pure and Applied Logic, 102(3) (2000), 183–198.
[29] R. Grigolia, Algebraic analysis of Lukasiewicz-Tarski n-valued logical Systems, Proceedings of Tbilisi
University, A 6-7 (149-150), (1973), 121–132 (in russian). [English translation: R. Grigolia, Algebraic
analysis of Lukasiewicz-Tarski n-valued logical systems, Selected papers on Lukasiewicz Sentential Calculi,
Wroclaw, (1977), 81–91].
[30] Y. Komori, Super- Lukasiewicz propositional logic, Nagoya Mathematical Journal, 84 (1981), 119–133.
[31] D. Kozen, A representation theorem for models of *-free PDL, Technical Report RC7864, IBM, September,
1979.
[32] J. Lukasiewicz, O logice trojwartosciowej, Ruch Filozoficzny, 5 (1920), 169 –171.
[33] J. Lukasiewicz, A. Tarski, Untersuchungen uber den Aussagenkalkul, Comptes Rendus de la Soci´et´e des
Sciences et des Lettres de Varsovie, 23(iii) (1930), 30–50.
[34] V. Marra, L. Spada, Duality, projectivity, and uni cation in ukasiewicz logic and MV-algebras, Annals
of Pure and Applied Logic, 164(3) (2013), 192–210.
[35] D. Mundici, Interpretation of AF C*-algebras in Lukasiewicz sentential calculus, Journal of Functional
Analysis, 65 (1986), 15–63.
[36] G. Panti, Varieties of MV-algebras, Journal of Applied Non-Classical Logics, 9(1) (1999), 141–157.
[37] E.L. Post, Introduction to a general theory of propositions, American Journal of Mathematics, 43 (1921),
163–185.
[38] V.R. Pratt, Dynamic algebras and the nature of induction, in: 12th ACM Symposium on Theory of
Computation, Los Angeles, (1980), 22–28.
[39] J.D. Rutledge, A preliminary investigation of the in nitely many-valued predicate calculus, Ph.D. Thesis,
Cornell University, 1959.
[40] B. Scarpellini, Die nichaxiomatisierbarkeit des unendlichwertigen Pradikatenkalkulus von Lukasiewicz,
Journal of Symbolic Logic, 27 (1962), 159–170.
[41] K. Segerberg, A completeness theorem in the modal logic of programs, Notices of the American Mathematical
Society, 24(6) (1977), A–552.
)
