Abstract
An outline of the history of the algebras corresponding to Łukasiewicz many-valued logic from the pioneering work by G. Moisil in 1940 until D. Mundici’s work in 1986.
This paper is an expanded version of a talk delivered at the International Conference in Honour of Daniele Mundici on the occasion of his 60th birthday at Gargnano, Italy, on March 20, 2006.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri, Columbia, Missouri (1974)
Belluce, L.P.: Further results on infinite-valued predicate calculus. J. Symb. Logic 29, 69–78 (1964)
Belluce, L.P.: Semisimple algebras of infinite valued logic. Can. J. Math. 38, 1356–1379 (1986)
Belluce, L.P., Chang, C.C.: A weak completeness theorem for infinite valued first-order logic. J. Symb. Log. 28, 43–50 (1963)
Bernays, P.: Axiomatische Untersuchungen des Aussagen-Kalkuls der “Principia Mathematica”. Math. Z. 25, 305–320 (1926)
Birkhoff, G.: Rings of sets. Duke Math. J. 3, 443–454 (1937)
Blok, W.J., Ferreirim, I.M.A.: On the structure of hoops. Algebra Univers. 43, 233–257 (2000)
Blok, W.J., Pigozzi, D.: On the structure of varieties with equationally definable principal congruences III. Algebra Univers. 32, 545–608 (1994)
Boicescu, V., Filipoiu, A., Georgescu, G., Rudeanu, S.: Łukasiewicz-Moisil Algebras. North-Holland, Amsterdam (1991)
Borkowski, L. (ed.): Selected Works of J. Łukasiewicz. North-Holland, Amsterdam (1970)
Bosbach, B.: Concerning bricks. Acta Math. Hung. 38, 89–104 (1981)
Buff, H.W.: Decidable and undecidable MV-algebras. Algebra Univers. 21, 234–249 (1985)
Chang, C.C.: Algebraic analysis of many-valued logics. Trans. Amer. Math. Soc. 88, 467–490 (1958)
Chang, C.C.: A new proof of the completeness of the Łukasiewicz axioms. Trans. Amer. Math. Soc. 93, 74–90 (1959)
Chang, C.C.: The writing of the MV-algebras. Stud. Log. 61, 3–6 (1998)
Cignoli, R.: Proper n-valued Łukasiewicz algebras as S-algebras of Łukasiewicz n-valued propositional calculi. Stud. Log. 41, 4–16 (1982)
Cignoli, R.: An algebraic approach to elementary theories based on n-valued Łukasiewicz logics. Z. Math. Logik Grundlagen der Mathematik 30, 87–96 (1984)
Cornish, W.H.: Lattice-ordered groups and BCK-algebras. Math. Jap. 25, 471–476 (1980)
Cornish, W.H.: On Iséki’s BCK-algebras. In: Algebraic structures and applications, pp. 101–122. M. Dekker, New York (1982)
Czyzowicz, J., Mundici, D., Pelc, A.: Ulam’s searching game with lies. Journal of Combinatorial Theory A(52), 62–76 (1989)
Di Nola, A., Lettieri, A.: Perfect MV-algebras are categorically equivalent to abelian ℓ-groups. Stud. Log. 53, 417–432 (1994)
Dwinger, P.: A survey of the theory of Post algebras. In: Dunn, J.M., Epstein, E. (eds.) Modern Uses of multiple valued Logics, pp. 53–75. D. Reidel, Dordrecht (1977)
Epstein, G.: The lattice theory of Post algebras. Trans. Amer. Math. Soc. 95, 300–317 (1960)
Fisch, M., Turquette, A.: Peirce’s triadic logic. Trans. Charles S. Peirce Soc. 2, 71–85 (1966)
Font, J.M., Rodríguez, A.J., Torrens, A.: Wajsberg algebras. Stochastica 8, 5–31 (1984)
Georgescu, G., Iourgulescu, A., Rudeanu, S.: Grigore C. Moisil (1906 - 1973) and his School in Algebraic Logic. International Journal of Computers, Communications & Control 1, 81–99 (2006)
Goodearl, K.: Notes on Real and Complex C *-algebras. Birkhäuser, Boston (1982)
Grigolia, R.S.: Algebraic analysis of Łukasiewicz-Tarski’s n-valued logical systems. In: Wójcicki, R., Malinowski, G. (eds.) Selected Papers on Łukasiewicz Sentential Calculi, Ossolineum, Wrocław, pp. 81–92 (1977)
Halmos, P.: Algebraic Logic I (Monadic Boolean algebras). Compos. Math. 12, 217–249 (1956)
Imai, Y., Iséki, K.: On axiom system of propositional calculi XIV. Proc. Japan Acad. 42, 19–22 (1966)
Iséki, K., Tanaka, S.: An introduction to the theory of BCK-algebras. Math. Jap. 23, 1–26 (1978)
Jaskowski, J.: Recherches sur le systéme de la logique intuitionniste. In: Actes du Congrés International de Philosophie scientifique, VI Philosophie des Mathémtiques, Hermann, Paris, pp. 58–61 (1936)
Komori, Y.: Completeness of two theories on ordered abelian groups and embedding relations. Nagoya Math. J. 77, 33–39 (1980)
Komori, Y.: Super Łukasiewicz propositional logics. Nagoya Math. J. 84, 119–133 (1981)
Lacava, F.: Alcune proprietá delle Ł-algebre e delle Ł-algebre esistenzialmente chiuse. Boll. Unione Mat. Ital. A 16, 360–366 (1979)
Lacava, F.: Sulla struttura delle Ł-algebre, Atti. Accad. Naz. Lincei, VIII Ser., Rend. Cl. Sci. Fis. Mat. Nat. 67, 275–281 (1979)
Lacava, F.: classe delle Ł-algebre esistenzialmente chiuse. Atti. Accad. Naz. Lincei, VIII Ser., Rend. Cl. Sci. Fis. Mat. Nat. 68, 319–322 (1980)
Lacava, F., Saeli, D.: Proprietà e model-completamento di alcune varietà di algebre di Łukasiewicz, Atti. Accad. Naz. Lincei, VIII Ser., Rend. Cl. Sci. Fis. Mat. Nat. 60, 359–367 (1976)
Lacava, F., Saeli, D.: Sul model-completamento della teoria delle Ł-catene. Boll. Unione Mat. Ital. A(5), 107–110 (1977)
Łukasiewicz, J.: O logice trójwarkościowej. Ruch Filozoficzny 6, 170–171 (1920) (English translation in [10])
Łukasiewicz, J.: Elementy logiki matematycznej. Warzawa (1929) (English translation in [43])
Łukasiewicz, J.: Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls. C. R. Soc. Sci. Lett. Varsovie, Cl. III 23, 153–178 (1930) (English translation in [10])
Łukasiewicz, J.: Elements of Mathematical Logic. Pergamon Press, New York (1964)
Łukasiewicz, J., Tarski, A.: Untersuchungen über den Aussagenkalkül. vol. 23, pp. 30–50 (1930) (English translation in [10] and [85])
Mayet, R.: Relations entre les anneaux booléens, les anneaux monadiques et les algébres de Łukasiewicz. C. R. Acad. Sci. Paris Ser. A B, 275, A777–A779 (1972)
Mangani, P.: Su certe algebre connesse con logiche a piú valori. Boll. Unione Mat. Ital. A(8), 68–78 (1973)
McCall, S. (ed.): Polish Logic 1920-1939. Clarendon Press, Oxford (1967)
McNaughton, R.: A theorem about infinite-valued sentential logic. J. Symb. Log. 16, 1–13 (1951)
Moisil, G.: Recherches sur les logiques nonchrysippiènnes. Ann. Sci. Univ. Jassy 26, 431–436 (1940) (reprinted in [53], pp. 195–232)
Moisil, G.: Notes sur les logiques nonchrysippiènnes. Ann. Sci. Univ. Jassy 27, 86–98 (1941) (reprinted in [53], pp. 233–243)
Moisil, G.: Sur les anneaux de caracteristique 2 ou 3 et leur applications, Bull. De l’École Polytech. Bucharest 12, 66–90 (1941) (reprinted in [53], pp. 259–282)
Moisil, G.: Sur les idéaux des algébres Lukasiewicziennes trivalentes. Ann. Univ. “C. I. Parhon” Bucuresti. Ser. Acta Logica 3, 83–93 (1960) (reprinted in [53], pp. 244–258)
Moisil, G.: Essays sur les Logiques Nonchrysippiènnes. Académie de la République Socialiste de Roumanie, Bucharest (1972)
Monteiro, A.: Sur la Définition des Algèbres de Łukasiewicz trivalentes, Universidad Nacional del Sur, Bahía Blanca (1964)
Monteiro, A.: Construction des Algèbres de Łukasiewicz trivalentes dans les Algèbres de Boole Monadiques-I. Math. Jap. 12, 1–23 (1967)
Monteiro, A.: Sur les algèbres de Heyting symétriques. Port. Math. 39, 1–237 (1980)
Monteiro, A.: Unpublished papers, I, Notas Log. Mat., vol. 40, Bahía Blanca (1996)
Mundici, D.: Interpretation of AF C *-algebras in Łukasiewicz sentential calculus. J. Funct. Anal. 65, 15–63 (1986)
Mundici, D.: MV-algebras are categorically equivalent to bounded commutative BCK-algebras. Math. Jap. 31, 889–894 (1986)
Mundici, D.: The Turing complexity of AF C *-algebras with lattice-ordered K 0. In: Börger, E. (ed.) Computation Theory and Logic. LNCS, vol. 270, pp. 256–264. Springer, Heidelberg (1987)
Mundici, D.: Farey stellar subdivisions, ultrasimplicial groups and K o of AF C *-algebras. Adv. Math. 68, 23–39 (1988)
Mundici, D.: The C *-algebras of three-valued logics. In: Ferro, R., Bonotto, C., Valentini, S., Zanardo, A. (eds.) Logic Colloquium 1988, Padova, pp. 61–77. North-Holland, Amsterdam (1989)
Mundici, D.: Complexity of adaptive error-correcting codes. In: Schönfeld, W., Börger, E., Kleine Büning, H., Richter, M.M. (eds.) CSL 1990. LNCS, vol. 533, pp. 300–307. Springer, Heidelberg (1991)
Mundici, D.: The logic of Ulam’s game with lies. In: Bicchieri, C., Dalla Chiara, M.L. (eds.) Knowledge, Belief and Strategic Interaction, pp. 275–284. Cambridge University Press, Cambridge (1992)
Mundici, D.: Turing complexity of the Behncke-Leptin C *-algebras with a two-point dual. Ann. Math. Artif. Intell. 26, 287–294 (1992)
Mundici, D.: Logic of infinite quantum systems. Int. J. Theoret. Phys. 32, 1941–1955 (1993)
Mundici, D.: Ulam’s game, Łukasiewicz logic and AF C *-algebras. Fundamenta Informaticae 18, 151–161 (1993)
Mundici, D.: Łukasiewicz normal forms and toric desingularizations. In: Hodges, W., et al. (eds.) Proceedings of Logic Colloquium 1993, Keele, England, pp. 401–423. Oxford University Press, Oxford (1996)
Post, E.L.: Introduction to a general theory of elementary propositions. Amer. J. Math. 43, 163–185 (1921)
Rand, R.: Prolegomena to Three-valued Logic. The Polish Review 13, 3–61 (1968)
Rasiowa, H., Sikorski, R.: The Mathematics of Metamathematics, Państowe Wydawnictwo Naukowe, Warsaw (1963)
Romanowska, A., Traczyk, T.: On commutative BCK-algebras. Math. Jap. 24, 567–583 (1980)
Romanowska, A., Traczyk, T.: Commutative BCK-algebras: subdirectly irreducible algebras and varieties. Math. Jap. 27, 35–48 (1982)
Rose, A., Rosser, J.B.: Fragments of many-valued statement calculi. Trans. Amer. Math. Soc. 87, 1–53 (1958)
Rosenbloom, P.C.: Post algebras, I: postulates and general theory. Amer. J. Math. 64, 167–188 (1942)
Rousseau, G.: Post algebras and pseudo-Post algebras. Fund. Math. 67, 133–145 (1970)
Saeli, D.: Problemi di decisione per algebre connesse a logiche a piú valori, Atti. Accad. Naz. Lincei, VIII Ser., Rend. Cl. Sci. Fis. Mat. Nat. 59, 219–223 (1975)
Schwartz, D.: Das Homomorphietheorem für MV-Algebren endlicher Ordnung. Z. Math. Logik Grundlagen Math. 22, 141–148 (1976)
Schwartz, D.: Aritmetische Theorie der MV-Algebren endlicher Ordung. Math. Nachr. 77, 65–75 (1977)
Schwartz, D.: Polyadic MV-algebras. Z. Math. Logik Grundlagen der Mathematik 26, 561–564 (1980)
Scott, D.: Completeness and axiomatizability in many-valued logic. In: Tarski Symposium. Amer Math. Soc., Providence, Rh. I., pp. 411–435 (1974)
Stone, M.H.: Subsumption of Boolean algebras under the theory of rings. Proc. Natl. Acad. Sci. USA 21, 103–105 (1935)
Stone, M.H.: The theory of representations for Boolean algebras. Trans. Amer. Math. Soc. 40, 37–111 (1936)
Tarski, A.: Der Aussagenkalkul und die Topologie. Fund. Math. 31, 103–134 (1938) (English transltion in [85])
Tarski, A.: Logic, Semantics, Metamathematics. Clarendon Press, Oxford (1956) (reprinted Hackett, Indianapolis, 1983)
Torrens, A.: W-algebras which are Boolean products of members of SR[1] and CW-algebras. Stud. Log. 46, 263–272 (1987)
Traczyk, T.: Axioms and some properties of Post algebras. Colloq. Math. 10, 193–209 (1963)
Traczyk, T.: A generalization of the Loomis-Sikorski Theorem. Colloq. Math. 12, 155–161 (1964)
Traczyk, T.: On the variety of bounded commutative BCK-algebras. Math. Jap. 24, 238–292 (1979)
Traczyk, T.: Free bounded commutative BCK-algebra, with one free generator. Demonstr. Math. 16, 1049–1105 (1983)
Wajsberg, M.: Beiträge zum Metaaussagenkalkül I. Mh. Math. Phys. 42, 221–242 (1935) (English translation in: Surma 1977)
Wolénski, J.: Logic and Philosophy in the Łvov - Warsaw School. Kluwer, Dordrecht (1989)
Yutani, H.: On a system of axioms of commutative BCK-algebras. Math. Seminar Notes Kobe Univ. 5, 255–256 (1977)
Zach, R.: Completeness before Post: Bernays, Hilbert, and the development of propositional logic. Bull. Symb. Log. 5, 331–366 (1999)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Cignoli, R. (2007). The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview. In: Aguzzoli, S., Ciabattoni, A., Gerla, B., Manara, C., Marra, V. (eds) Algebraic and Proof-theoretic Aspects of Non-classical Logics. Lecture Notes in Computer Science(), vol 4460. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75939-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-75939-3_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75938-6
Online ISBN: 978-3-540-75939-3
eBook Packages: Computer ScienceComputer Science (R0)