Grigore C. Moisil (1906 - 1973) and his School in Algebraic Logic

George Georgescu, Afrodita Iorgulescu, Sergiu Rudeanu

Abstract


We present in the paper a very concise but updated survey emphasizing the research done by Gr. C. Moisil and his school in algebraic logic.


Keywords


n-valued Lukasiewicz-Moisil algebra, q -valued Lukasiewicz-Moisil algebra, Post algebra

Full Text:

PDF

References


A. Amroune, Representation des algèbres de Łukasiewicz q -valentes involutives par des structures floues, BUSEFAL (Institut de Recherche en Informatique de Toulouse), 43, 1990, 5-11.

M. Abad, Three valued Łukasiewicz algebras with an additional operation, Rev. Union Mat. Argentina, 32, 1985, 107-117.

M. Abad, A. Figallo, Characterization of three-valued Łukasiewicz algebras, Rep. Math. Logic, 18, 1984, 47-59.

M. Abad, L. Monteiro, On three-valued Moisil algebras, Logique et Analyse, 27, 1984, 407-414.

I. B˘adele, V. Boicescu, Sur les extensions des algèbres de Łukasiewicz, C.R. Acad. Sci. Paris, 269, 1969, 313-315.

D. Becchio, Axiomatisation d'une logique trivalente Łukasiewiczienne, 1971, Manuscript.

D. Becchio, Nouvelle démonstration de la complétude du système de Wajsberg axiomatisant la logique trivalente de Łukasiewicz, C.R. Acad. Sci. Paris, 275, 1972, 679-681.

D. Becchio, Sur les définitions des algèbres trivalentes de Łukasiewicz donées par A. Monteiro, Logique et Analyse, 63-64, 1973, 339-344.

D. Becchio, Algèbres de Heyting, algèbres de Brouwer et algèbres trivalentes de Łukasiewicz, Logique et Analyse, 21, 1978, 237-248.

D. Becchio, Logique trivalente de Łukasiewicz, Ann. Sci., Univ. Clermont-Ferrand, 16, 1978, 38-89.

D. Becchio, L. Iturrioz, Sur une définition des algèbres de Łukasiewicz et de Post d'ordre n, Demonstratio Math., 11, 1978, 1083-1094.

L. Beznea, q -valued Moisil algebras and dual categories (Romanian), Master Thesis, University of Bucarest, 1981.

V. Boicescu, Sur la représentation des algèbres de Łukasiewicz q -valentes, C.R. Acad. Sci. Paris, 270, 1970, 4-7.

V. Boicescu, Sur les algèbres de Łukasiewicz, Logique,Automatique, Informatique, Editions de l'Academie de la R.S.Roumanie, 1971, 71-89.

V. Boicescu, Sur les systèmes déductifs dans la logique q -valente, Publ. Dép. Math. Lyon, 8, 1971, 123-133.

V. Boicescu, On Łukasiewicz algebras (Romanian), In: Probleme de logic˘a, vol.IV, Ed. Academiei R.S.Romania, Bucharest, 1972, 245-276.

V. Boicescu, On q -valued logics (Romanian), In: Probleme de Logic˘a, vol. V, 1973, Edit. Acad. R.S.Romania, 241-255.

V. Boicescu, Sur une logique polivalente, Rev. Roum. Sci. Soc., sér. Philos. et Logique, 17, 1973, 393-405.

V. Boicescu, Researches in Łukasiewicz algebras, Rev. Roum. Sci. Soc., sér. Philos. et Logique, 20, 1976, 197-200.

V. Boicescu, Extensions of homomorphisms of Lulasiewicz algebras with bounding semimorphisms, Rev. Roum. Sci. Soc., sér. Philos et Logique, 23, 1979, 367-370.

V. Boicescu, Contributions to the study of Łukasiewicz algebras (Romanian), Ph.D. Thesis, University of Bucharest, 1984.

V. Boicescu, Irredundant n-valued Moisil algebras, Discrete Math., 71, 1988, 197-204.
http://dx.doi.org/10.1016/0012-365X(88)90100-8

V. Boicescu, G. Georgescu, Les algèbres de Łukasiewicz centrées et axées, Rev. Roum. Math. Pures et Appl., 15, 1970, 675-681.

V. Boicescu, A. Iorgulescu, Current research in the field of Łukasiewicz-Moisil algebras (Romanian), Studii Cerc. Mat., 39, 1987, 97-106.

V. Boicescu, A. Filipoiu, G. Georgescu, S. Rudeanu, Łukasiewicz-Moisil algebras, Annals of Discrete Mathematics, 49, 1991, North-Holland.

C.C. Chang, Algebraic analysis of many valued logics, Trans. Amer. Math. Soc., 1958, 88, 467-490.
http://dx.doi.org/10.1090/S0002-9947-1958-0094302-9

R. Cignoli, Boolean elements in Łukasiewicz algebras. I. Proc. Japan Acad., 41, 1965, 670-675.
http://dx.doi.org/10.3792/pja/1195522292

R. Cignoli, Un teorema de representation para algebras de Łukasiewicz trivalentes, Rev. Union Mat. Argentina, 23, 1966, 41.

R. Cignoli, Algebras de Moisil de orden n, Ph.D. Thesis, Universidad Nacional del Sur, Bahia Blanca, 1969.

R. Cignoli, Moisil algebras, Notas de Logica Matematica, Inst. Mat., Univ. National del Sur, Bahia-Blanca, No. 27, 1970.

R. Cignoli, Representation of Łukasiewicz algebras and Post algebras by continuous functions, Colloq. Math. 24, 1972, 127-138.

R. Cignoli, Topological representation of Łukasiewicz and Post algebras, Notas de Logica Matematica, Inst. Mat. Univ. National del Sur, Bahia-Blanca, No. 33, 1974.

R. Cignoli, Coproducts in the categories of Kleene and three-valued Łukasiewicz algebras, Studia Logica, 39, 1979, 237-245.
http://dx.doi.org/10.1007/BF00405382

R. Cignoli, Proper n-Valued Łukasiewicz Algebras as S-Algebras of Łukasiewicz n-Valued Propositional Calculi, Studia Logica, 41, 1982, 3-16.
http://dx.doi.org/10.1007/BF00373490

R. Cignoli, An algebraic approach to elementary theories based on n-valued Łukasiewicz logics, Z. Math. Logik u. Grundl. Math., 30, 1984, 87-96.
http://dx.doi.org/10.1002/malq.19840300106

R. Cignoli, M.S. De Gallego, The lattice structure of 4-valued Łukasiewicz algebras, J. Symbolic Logic, 46, No. 1, 1981, 185.

R. Cignoli, M.S. De Gallego, The lattice structure of some Łukasiewicz algebras, Algebra Universalis, 13, 1981, 315-328.
http://dx.doi.org/10.1007/BF02483844

R. Cignoli, A. Monteiro, Boolean elements in Łukasiewicz algebras. II., Proc. Japan Acad., 41, 1965, 676- 680.
http://dx.doi.org/10.3792/pja/1195522293

R. Cignoli and D. Mundici, An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz, Studia Logica, to appear.

R. Cignoli, I.M.L. D'Ottaviano, D. Mundici, Algebraic Foundations of many-valued Reasoning, Kluwer 2000, Volume 7.
http://dx.doi.org/10.1007/978-94-015-9480-6

J. Coulon, J.L. Coulon, A propos de la représentation des algèbres de Łukasiewicz et des algèbres booléiennes floues, Rev. Roum. Math. Pures et Appl., 34, 1989, 403-411.

J. Coulon, J.L. Coulon, Un nouveau resultat concernant la representation d'une algèbre de Łukasiewicz involutive dans l'algèbre des parties floues d'une structure floue involutive, Rev. Roumaine Math. Pures et Appl., 38, 1993, 319-326.

A. Figallo, J. Tolosa, Algebras de Łukasiewicz trivalente, Univ. Nac. de San Juan, 1982.

A. Figallo Jr., M. Figallo and A. Ziliani, Free (n+1)-valued Łukasiewicz BCK algebras, Demonstratio Mathematica, XXXVII, 2, 2004, 245-254.

A.V. Figallo, I. Pascual, A. Ziliani, Notes on monadic n-valued Łukasiewicz algebras, Math. Bohem., 3, 129, 2004, 255-271.

A.V. Figallo, C. Sanza , A. Ziliani, Functional monadic n-valued Łukasiewicz algebras, accepted by Mathematica Bohemica.

A.V. Figallo, I. Pascual, A. Ziliani, Subdirectly irreducible monadic Łukasiewicz-Moisil algebras, Manuscript.

A.V. Figallo, Łukasiewicz BCK-algebras endowed with Moisil operators, Manuscript.

A.V. Figallo, A. Figallo Jr., M. Figallo, A. Ziliani, Łukasiewicz residuation algebras with infimum, Manuscript.

A. Filipoiu, Analytic tableaux for q -valued propositional logic, Math. Seminar Notes, 6, 1978, 517-526.

A. Filipoiu, Representation theorems for Łukasiewicz algebras, Discrete Math., 27, 1979, 107-110.
http://dx.doi.org/10.1016/0012-365X(79)90075-X

A. Filipoiu, Representation of Łukasiewicz algebras by means of ordered Stone spaces, Discrete Math., 30, 1980, 111-116.
http://dx.doi.org/10.1016/0012-365X(80)90112-0

A. Filipoiu, q -valued Łukasiewicz-Moisil algebras and logics (Romanian), Ph.D. Thesis, Univ. of Bucharest, 1981.

A. Filipoiu, Representation theorems for q -valued Łukasiewicz algebras, Discrete Math., 33, 1981, 21-27.
http://dx.doi.org/10.1016/0012-365X(81)90254-5

A. Filipoiu, Some remarks on the representation theorem of Moisil, Discrete Math., 33, 1981, 163-170.
http://dx.doi.org/10.1016/0012-365X(81)90163-1

J. M. Font, A. J. Rodriguez, A. Torrens, Wajsberg Algebras, Stochastica, VIII, 1, 5-31, 1984.

G. Georgescu, Algébres de Łukasiewicz complètes, C.R. Acad. Sci. Paris, 269, 1969, 1181-1184.

G. Georgescu, The centered epimorphisms and the construction of the tensor product in Łuk, Rev. Roum. Math. Pures Appl., 15, 1970, 693-709.

G. Georgescu, n-valued complete Łukasiewicz algebras, Rev. Roum. Math. Pures Appl., 16, 1971, 41-50.

G. Georgescu, The q -valued Łukasiewicz algebras. I., Rev. Roum. Math. Pures Appl., 16, 1971, 195-209.

G. Georgescu, Algebras de Łukasiewicz de orden q . II., Rev. Roum. Math. Pures Appl., 16, 1971, 363-369.

G. Georgescu, Les algèbres de Łukasiewicz q -valentes, In: Logique, Automatique, Informatique, Edit. Acad. R.S.Romania, Bucharest, 1971, 99-169.

G. Georgescu, The q -valued Łukasiewicz algebras. III. Duality theory., Rev. Roum. Math. Pures Appl., 16, 1971, 1365-1390.

G. Georgescu, Algebre Łukasiewicz q -valente, Ph.D. Thesis, Math. Institute, Bucharest, mai 1972.

G. Georgescu, Représentation des algèbres de Łukasiewicz q -valentes polyadiques, C. R. Acad. Sci. Paris, A-B, 274, 1972, A944-A946.

G. Georgescu, Reprezentarea algebrelor Łukasiewicz poliadice local finite de grad infinit, Studii Cerc. Mat., 24, 1972, 1107-1117.

G. Georgescu, Some remarks on the polyadic Łukasiewicz algebras, Rev. Roum. Mat. Pures Appl., 22, 1977, 641-648.

G. Georgescu, On the homogeneous-universal Łukasiewicz algebras, Rev. Roum. Mat. Pures Appl., 23, 1978, 29-32.

G. Georgescu, A. Iorgulescu, Pseudo-MV Algebras: a Noncommutative Extension of MV Algebras, The Proceedings of the Fourth International Symposium on Economic Informatics, Bucharest, Romania, May 1999, 961-968.

G. Georgescu, I. Leuștean, Towards a probability theory based on Moisil logic, Soft Computing, 2000, 4, No.1, 19-26.
http://dx.doi.org/10.1007/s005000050076

G. Georgescu, A. Iorgulescu, Pseudo-BL algebras: A noncommutative extension of BL algebras, Abstracts of The Fifth International Conference FSTA 2000, Slovakia, February 2000, 90-92.

G. Georgescu, A. Iorgulescu, Pseudo-BCK algebras: An extension of BCK algebras, Proceedings of DMTCS'01: Combinatorics, Computability and Logic, Springer, London, 2001, 97-114.
http://dx.doi.org/10.1007/978-1-4471-0717-0_9

G. Georgescu, I. Leuștean, Probabilities on Łukasiewicz-Moisil algebras, International Journal of Approximate Reasoning, 1998, 18, No.3-4, 201-215.
http://dx.doi.org/10.1016/S0888-613X(98)00006-1

G. Georgescu, I. Leuștean, Conditional probabilities on Łukasiewicz-Moisil algebras, Analele Universitatii Bucuresti, 1998, 47, 55-64.

G. Georgescu., I. Leuștean, A. Popescu, Order convergence and distance on Łukasiewicz-Moisil algebras, Multiple Valued Logic, to appear.

G. Georgescu, A. Popescu, A common generalization for algebras and Łukasiewicz-Moisil algebras, submitted.

G. Georgescu, C. Vraciu, Le spectre maximal dŠune algèbre de Łukasiewicz, C.R. Acad. Sci. Paris, 268, 1969, 928-929.

G. Georgescu, C. Vraciu, n-valued centered Łukasiewicz algebras, Rev. Roum. Math. Pures Appl., 14, 1969, 712-723.

G. Georgescu, C. Vraciu, Sur les algèbres de Łukasiewicz centrées, C.R. Acad. Sci. Paris, 268, 1969, 998- 1000.

G. Georgescu, C. Vraciu, Sur le spectre maximal d'une algèbre de Łukasiewicz, Publ. Dép. Math. Lyon, 6, 1969, 42-54.

G. Georgescu, C. Vraciu, Sur les épimorphismes centrées des algèbres de Łukasiewicz, C.R. Acad. Sci. Paris,269, 1969, 4-6.

G. Georgescu, C. Vraciu, On the characterization of centered Łukasiewicz algebras, J. Algebra, 16, 1970, 486-495.
http://dx.doi.org/10.1016/0021-8693(70)90002-5

G. Georgescu, C. Vraciu, Monadic Boolean algebras and monadic Łukasiewicz algebras (Romanian), Studii Cerc. Mat., 23, 1971, 1025-1048.

G. Georgescu, C. Vraciu, La dualité des algèbres de Post q -valentes, J. Algebra, 21, 1972, 74-86.
http://dx.doi.org/10.1016/0021-8693(72)90035-X

H. Goldberg, H. Leblanc, G. Weaver, A strong completeness theorem for 3-valued logic, Notre Dame J. Formal Logic, 15,1974, 325-332.
http://dx.doi.org/10.1305/ndjfl/1093891310

M. Greniewski, Using three valued logics in the theory of swiching theory (Romanian). I. Realizarea cu circuite a func¸tiilor fundamentale, Comunic. Acad. R.P.R., 6, 1956, 225-229.

R. Grigolia, Algebraic analysis of Łukasiewicz-Tarski's n-valued logical systems, in: Selected Papers on Łukasiewicz Sentential Calculi (R. Wójcicki and G. Malinowski, Eds.), Polish Acad. Of Sciences, Ossolineum, Wroclaw, 1977, 81-92.

A. Iorgulescu, On the construction of three-valued Łukasiewicz-Moisil algebras, Discrete Math., 47, 1984, 213-227.
http://dx.doi.org/10.1016/0012-365X(84)90184-5

A. Iorgulescu, Functors between categories of three-valued Łukasiewicz-Moisil algebras, Discrete Math., 49, 1984, 121-131.
http://dx.doi.org/10.1016/0012-365X(84)90109-2

A. Iorgulescu, (1+q )-valued Łukasiewicz-Moisil algebras with negation (Romanian), Ph.D. Thesis, Univ. of Bucharest, 1984.

A. Iorgulescu, Connections between MVn algebras and n-valued Łukasiewicz-Moisil algebras - I, Discrete Mathematics, 181 (1-3), 1998, 155-177.
http://dx.doi.org/10.1016/S0012-365X(97)00052-6

A. Iorgulescu, Connections between MVn algebras and n-valued Łukasiewicz-Moisil algebras - II, Discrete Mathematics, 202, 1999, 113-134.
http://dx.doi.org/10.1016/S0012-365X(98)00289-1

A. Iorgulescu, Connections between MVn algebras and n-valued Łukasiewicz-Moisil algebras -III, Manuscript.

A. Iorgulescu, Connections between MVn algebras and n-valued Łukasiewicz-Moisil algebras - IV, Journal of Universal Computer Science, vol. 6, no I, 2000, 139-154.

L. Iturrioz, Axiomas para el calculo proposicional trivalente de Łukasiewicz, Rev. Union Mat. Argentina, 22, 1965, 150.

L. Iturrioz, Sur une classe particulière d'algèbres de Moisil, C. R. Acad. Sci. Paris, 267, 1968, 585-588.

L. Iturrioz, Les algèbres de Heyting-Brouwer et de Łukasiewicz trivalentes, Notre Dame J. Formal Logic, 17, 1976, 119-126.
http://dx.doi.org/10.1305/ndjfl/1093887429

L. Iturrioz, Algèbres de Łukasiewicz symétriques, Publ. Dép. Math. Lyon, 13, 1976, 73-96.

L. Iturrioz, Łukasiewicz and symmetrical Heyting algebras, Z. Math. Logik u. Grund.Math., 23, 1977, 131- 136.
http://dx.doi.org/10.1002/malq.19770230706

L. Iturrioz, Two characteristic properties of monadic three-valued Łukasiewicz algebras, Rep. Math. Logic, 8, 1977, 63-68.[101] L. Iturrioz, An axiom system for three-valued Łukasiewicz propositional calculus, Notre Dame J. Formal Logic, 18, 1977, 616-620.

L. Iturrioz, An axiom system for three-valued Łukasiewicz propositional calculus, Notre Dame J. Formal Logic, 18, 1977, 616-620.
http://dx.doi.org/10.1305/ndjfl/1093888131

L. Iturrioz, O. Rueda, Algèbres implicatives trivalentes de Łukasiewicz libres, Discrete Math., 18, 1977, 35-44.
http://dx.doi.org/10.1016/0012-365X(77)90004-8

I. Leuștean, A unifying framework for Łukasiewicz-Moisil algebras, MV-algebras and Post algebras, submitted.

J. Łukasiewicz, On three-valued logic (Polish), Ruch Filozoficzny, 5, 1920, 160-171.

J. Łukasiewicz, Philosophische Bemerkungen zur mehrwertigen Systemen des Aussagenkalküls, C.R. Séances Soc. Sci. Lettres Varsovie, Cl. III, 23, 1930, 51-77. Romanian translation in: Logic˘a și Filozofie, Ed. Politic˘a, București, 1966, 295-320.

J. Łukasiewicz, Die Logik und das Grundlagenproblem, Les entretiens de Zurich sur les fondements et la méthode des sciences mathématiques, 1941, 88-100.

J. Łukasiewicz, A. Tarski, Untersuchungen über den Aussagenkalkül, C.R. Séances Soc. Sci. Lettres Varsovie, Cl. III, 23, 1930, 30-50.

M.G. Malinowski, n-valued Łukasiewicz algebras and their connection to Post algebras of order (Polish), Zeszyty Naukowe u.t., Filozofia, 1972.

P. Mangani, On certain algebras related to many-valued logics (Italian), Boll. Un. Mat. Ital. (4) 8, 68-78, 1973.

W. Marek, T. Traczyk, Generalized Łukasiewicz algebras, Bull. Acad. Polonaise Sci. Sér. Math. Astronom. Phys., 17, 1969, 789-792.

Gr. C. Moisil, Recherches sur l'algèbre de la logique, Ann. Sci. Univ. Jassy, 22, 1935, 1-117.

Gr. C. Moisil, Sur le mode problématique, C.R. Séances Acad. Sci. Roumanie, 2, No. 2, 1938, 101-103.

Gr. C. Moisil, Recherches sur les logiques non-chrysippiennes, Ann. Sci. Univ. Jassy, 26, 1940, 431-466.

Gr.C. Moisil, Notes sur les logiques non-chrysippiennes, Ann. Sci, Univ. Jassy, 27, 1941, 86-98.

Gr. C. Moisil, Sur les anneaux de caractéristique 2 ou 3 et leurs applications, Bul. Politechn. Bucharest, 12, 1941, 66-90.

Gr. C. Moisil, Contributions à l'étude des logiques non-chrysippiennes. I. Un nouveau système d'axiomes pour les algèbres Łukasiewicziennes tétravalentes, C.R. Acad. Sci. Roumanie, 5, 1941, 289-293.

Gr. C. Moisil, Contributions à l'étude des logiques non-chrysippiennes. II. Anneaux engendrés par les algèbres Łukasiewicziennes centrées, C.R. Acad. Sci. Roumanie, 6, 1942, 9-14.

Gr. C. Moisil, Contributions à l'étude des logiques non-chrysippiennes. III. Anneaux engendrés par les algèbres Łukasiewicziennes tétravalentes axées, C.R. Acad. Sci. Roumanie, 7, 1942, 14-18.

Gr. C. Moisil, Logique modale, Disquis. Math. Phys., 2, 1942, 3-98.

Gr. C. Moisil, The algebra of networks with rectifiers (Romanian), Rev. Univ. C.I. Parhon și a Politehnicii București, 4-5, 1954, 9-41.

Gr. C. Moisil, Utilization of three-valued logics in the theory of switching circuits. II. The characteristic equation of a relay. III. Actual-contact circuits. IV. Realization of the working functions in actual operation (Romanian). Comun. Acad. R.P. Române, 6, 1956, 231-239, 385-386, 971-973.

Gr. C. Moisil, Applications of three-valued logics to the study of actual operation of relay-contact circuits (Romanian), Bul. Mat. Soc. St. Fiz. R.P. Române, 1(49), 1957, 147-191.

Gr. C. Moisil, Utilization of three-valued logics to the theory of switching circuits. V. P-I circuits (Romanian), Comunic. Acad. R.P. Române, 8, 1958, 1127-1128.

Gr. C. Moisil, Utilization of three-valued logics to the theory of switching circuits. VI. Polarized relays with unstable neutral. VII. Operation of ordinary relays under low self-maintaining current. VIII. -twoterminals with contacts and resistances. IX. -two-terminals with contacts, valves and resistances. X. Physical interpretation of the characteristic function of a multiterminal (Romanian), Comunic. Acad. R.P. Române, 9, 1959, 411-413, 531-532, 533-535, 665-666, 667-669.

Gr. C. Moisil, Sur l'application de la logique à trois valeurs à l'étude des circuits électriques à contacts, redresseurs et résistances, Rev. Math. Pures Appl., 4, 1959, 173-183.

Gr. C. Moisil, The algebraic Theory of Switching Circuits (Romanian), Ed. Tehnic˘a București. English translation 1969, Pergamon Press, Oxford, and Editura Tehnic˘a București.

Gr.C. Moisil, Sur les idéaux des algèbres Łukasiewicziennes trivalentes, Analele Univ. C.I. Parhon, Seria Acta Logica, 3, 1960, 83-95.

Gr.C. Moisil, On predicate calculus in three-valued logics (Russian), An. Univ. C.I. Parhon, Acta Logica, 4, 1961, 103-112.

Gr.C. Moisil, Sur la logique à trois valeurs de Łukasiewicz, An. Univ. C.I. Parhon, Acta Logica, 5, 1962, 103-117.

Gr.C. Moisil, Les logiques non-chrysippiennes et leurs applications, Acta Philos. Fennica, 16, 1963, 137- 152.

Gr.C. Moisil, Le algèbre di Łukasiewicz, An. Univ. C.I. Parhon, Acta Logica 6, 1963, 97-135.

Gr.C. Moisil, Applicazioni dell'algebra alle calcolatrici moderne, Atti Reunione del Groupement des Math. D'Expression Latine, 26.IX-3.X. 1961, Ed. Cremonese, Roma, 1963.

Gr.C. Moisil, The interest of the actual operation of switching circuits for the logician, An. Univ. București, Acta Logica, 7-8, 1964, 131-139.

Gr.C. Moisil, Sur les logiques de Łukasiewicz à un nombre fini de valeurs, Rev. Roum. Math. Pures Appl., 9, 1964, 905-920.

Gr.C. Moisil, Încerc˘ari vechi și noi de logic˘a neclasic˘a (Old and New Essays on Non-Classical Logics), Edit.¸ Stiin¸tific˘a, Bucharest, 1965.

Gr.C. Moisil, Théorie structurelle des automats finis, Gauthiers-Villars, Paris, 1967.

Gr.C. Moisil, Łukasiewiczian algebras, Computing Center, University of Bucharest (preprint), 311-324, 1968.

Gr.C. Moisil, Essais sur les logiques non-chrysippiennnes, Ed. Academiei R.S.R., Bucharest, 1972.

Gr.C. Moisil, Ensembles flous et logiques à plusieurs valeurs, Centr. Rech. Math., Université de Montréal, mai, 1973 (preprint).

Gr.C. Moisil, Lec¸tii despre logica ra¸tionamentului nuan¸tat (Lectures on the Logic of Fuzzy Reasoning), Ed. ¸ Stiin¸tific˘a și Enciclopedic˘a, Bucharest, 1975.

Gr.C. Moisil, Sur l'emploi des mathématiques dans les sciences de l'homme, Accad. Naz. Lincei, Contributi del Centro Linceo Interdisciplinare di Sci. Mat. E loro Appl., No. 17, 1976.

A. Monteiro, Matrices de Morgan caracteristiques pour le calcul propositional classique, Ann. Acad. Brasil, 52, 1960, 1-7.

A. Monteiro, Sur la définition des algèbres de Łukasiewicz trivalentes, Notas de Logica matematica, 21, 1964.

A. Monteiro, Construction des algèbres de Łukasiewicz trivalentes dans les algèbres de Boole monadiques, Notas de Logica Matematica, 11, 1964.

A. Monteiro, R. Cignoli, Construccion geometrica de las algebras de Łukasiewicz trivalentes libres, Rev. Union Mat. Argentina, 22, 1965, 152-153.

L. Monteiro, Axiomes indépendentes pour les algèbres de Łukasiewicz trivalentes, Notas de Logica Matematica, 32, 1974.

L. Monteiro, Algebras de Łukasiewicz trivalentes monadicas, Notas de Logica Matematica, 32, 1974.

L. Monteiro, Sur la construction L des algèbres de Łukasiewicz trivalentes, Rev. Roum. Math. Pures Appl., Tome XXIII, No. 1, 1978, 77-83.

L. Monteiro, L.G. Coppola, Sur une construction des algèbres de Łukasiewicz trivalentes, Notas de Logica Matematica, 17, 1964.

D. Mundici, MV-algebras are categorically equivalent to bounded commutative BCK-algebras, Math. Japonica, 31, No. 6, 1986, 889-894.

D. Mundici, Interpretation of AF C?-algebras in Łukasiewicz sentential calculus, J. Funct. Anal., 65, 1986, 15-63.
http://dx.doi.org/10.1016/0022-1236(86)90015-7

D. Mundici, The C¤-algebras of three-valued logic, Logic Colloquium'88, Ferro, Bonotto, Valentini and Zanardo (Editors), Elsevier Science Publishers B.V. (North-Holland), 1989, 61-77.

Gh. Nadiu, On a method for the construction of three-valued Łukasiewicz algebras (Romanian), Studii Cerc. Mat., 19, 1967, 1063-1070.

A. Petcu, The definition of the trivalent Łukasiewicz algebras by three equations, Rev. Roumaine Math. Pures Appl., 13, 1968, 247-250.

I. Petrescu (I. Voiculescu), Injective objects in the category of De Morgan algebras, Rev. Roumaine Math. Pures Appl., 16, 1971, 921-926.

D. Ponasse, Algèbres floues et algèbres de Łukasiewicz, Rev. Roumaine Math. Pures Appl., XXIII, 1, 1978, 103-111.

E. Post, Introduction to a general theory of elementary propositions, Amer. J. Math., 43, 1921, 163-185.
http://dx.doi.org/10.2307/2370324

E. Radu, L'oeuvre de Gr. C. Moisil en logique mathématique, I., II., Rev. Roumaine Math. Pures Appl., 23, 1978, 463-477, 605-610.

J. Rodriguez, A. Torrens, Wajsberg Algebras and Post Algebras, Studia logica, 53, 1994, 1-19.
http://dx.doi.org/10.1007/BF01053019

P. Rosenbloom, Post algebras. I. Postulates and general theory, Amer. J. Math., 64, 1942, 167-183.
http://dx.doi.org/10.2307/2371676

S. Rudeanu, On Łukasiewicz-Moisil algebras of fuzzy sets, Studia Logica, 52, 1993, 95-111.
http://dx.doi.org/10.1007/BF01053066

A. Sade, Algèbres de Łukasiewicz dans la logique trivalente, Univ. Beograd, Publ. Elektrotehn. Fak. Ser. Mat. Fiz., No. 247-273, 1969, 123-130.

C. Sanza, Notes on n£m-valued Łukasiewicz algebras with negation, L. J. of the IGPL, 6, 12, 2004, 499-507 ()

C. Sanza, Monadic n£m-valued Łukasiewicz algebras with negation, Manuscript.

C. Sicoe, Strictly chrysippian elements in many-valued Łukasiewicz algebra (Romanian), An. Univ. of Bucharest, 15, 1966, 123-126.

C. Sicoe, Sur les ideaux des algèbres Łukasiewicziennes polivalentes, Rev. Roum. Math. Pures Appl., 12, 1967, 391-401.

C. Sicoe, Note asupra algebrelor Łukasiewicziene polivalente, Stud. și Cerc. Mat., 19, 1967, 1203-1207.

C. Sicoe, On many-valued Łukasiewicz algebras, Proc. Japan Acad., 43, 1967, 725-728.
http://dx.doi.org/10.3792/pja/1195521470

C. Sicoe, A characterization of Łukasiewicz algebras. I. II. Proc. Japan Acad., 43, 1967, 729-732, 733-736.

C. Sicoe, Sur la définition des algèbres Łukasiewicziennes polyvalentes, Rev. Roumaine Math. Pures Appl., 13, 1968, 1027-1030.

W. Suchon, On the non-equivalence of two definitions of the algebra of Łukasiewicz, P Polish Acad. Sci. Inst. Philos. Sociol. Bull. Sect. Logic, 1, No. 1, 1972, 35-37.

W. Suchon, Inéquivalence de certaines définitions des algèbres infinites de Łukasiewicz, Rep. Math. Logic, 1, 1973, 21-26.

W. Suchon, On defining Moisil's functors in n-valued Łukasiewicz propositional logic, Polish Acad. Sci. Inst. Philos. Sociol. Bull. Sect. Logic, 2, 1973, 195-196.

W. Sucho’n, Définition des foncteurs modaux de Moisil dans le calcul n-valent des propositions de Łukasiewicz avec implication et négation, Reports on Mathematical Logic 2, 43-48, 1974.

W. Suchon, Matrix Łukasiewicz algebras, Rep. Math. Logic, 4, 1975, 91-104.

W. Suchon, Définition des foncteurs modaux de Moisil dans le calcul n-valent des propositions de Łukasiewicz avec implication et négation, Reports on Mathematical Logic, 2, 1974, 43-48.

J. Varlet, Algèbres de Łukasiewicz trivalentes, Bull. Soc. Roy. Sci. Liège, 36, 1968, 399-408.

J. Varlet, Considérations sur les algèbres de Łukasiewicz trivalentes, Bull. Soc. Roy. Sci. Liège,38, 1969, 462-469.

M.Wajsberg, Axiomatization of three-valued propositional calculus (Polish), C.R. Séances Soc. Sci. Lettres Varsovie, Cl. III, 24, 1931, 126-145.

R. Wójcicki, A theorem on the finiteness of the degree of maximality of the n-valued Łukasiewicz logic, Polish Acad. Sci. Inst. Philos. Sociol. Bull. Sect. Logic, 4, 1975, 19-25.

R. Wójcicki, G. Malinowski (editors), Selected Papers on Łukasiewicz sentencial calculi, Ossolineaum, Wroclaw and Warsaw, 1977.

L.A. Zadeh, Fuzzy Sets, Inform. And Control, 8, 1965, 338-353.
http://dx.doi.org/10.1016/S0019-9958(65)90241-X




DOI: https://doi.org/10.15837/ijccc.2006.1.2276



Copyright (c) 2017 George Georgescu, Afrodita Iorgulescu, Sergiu Rudeanu

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

CC-BY-NC  License for Website User

Articles published in IJCCC user license are protected by copyright.

Users can access, download, copy, translate the IJCCC articles for non-commercial purposes provided that users, but cannot redistribute, display or adapt:

  • Cite the article using an appropriate bibliographic citation: author(s), article title, journal, volume, issue, page numbers, year of publication, DOI, and the link to the definitive published version on IJCCC website;
  • Maintain the integrity of the IJCCC article;
  • Retain the copyright notices and links to these terms and conditions so it is clear to other users what can and what cannot be done with the  article;
  • Ensure that, for any content in the IJCCC article that is identified as belonging to a third party, any re-use complies with the copyright policies of that third party;
  • Any translations must prominently display the statement: "This is an unofficial translation of an article that appeared in IJCCC. Agora University  has not endorsed this translation."

This is a non commercial license where the use of published articles for commercial purposes is forbiden. 

Commercial purposes include: 

  • Copying or downloading IJCCC articles, or linking to such postings, for further redistribution, sale or licensing, for a fee;
  • Copying, downloading or posting by a site or service that incorporates advertising with such content;
  • The inclusion or incorporation of article content in other works or services (other than normal quotations with an appropriate citation) that is then available for sale or licensing, for a fee;
  • Use of IJCCC articles or article content (other than normal quotations with appropriate citation) by for-profit organizations for promotional purposes, whether for a fee or otherwise;
  • Use for the purposes of monetary reward by means of sale, resale, license, loan, transfer or other form of commercial exploitation;

    The licensor cannot revoke these freedoms as long as you follow the license terms.

[End of CC-BY-NC  License for Website User]


INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL (IJCCC), With Emphasis on the Integration of Three Technologies (C & C & C),  ISSN 1841-9836.

IJCCC was founded in 2006,  at Agora University, by  Ioan DZITAC (Editor-in-Chief),  Florin Gheorghe FILIP (Editor-in-Chief), and  Misu-Jan MANOLESCU (Managing Editor).

Ethics: This journal is a member of, and subscribes to the principles of, the Committee on Publication Ethics (COPE).

Ioan  DZITAC (Editor-in-Chief) at COPE European Seminar, Bruxelles, 2015:

IJCCC is covered/indexed/abstracted in Science Citation Index Expanded (since vol.1(S),  2006); JCR2018: IF=1.585..

IJCCC is indexed in Scopus from 2008 (CiteScore2018 = 1.56):

Nomination by Elsevier for Journal Excellence Award Romania 2015 (SNIP2014 = 1.029): Elsevier/ Scopus

IJCCC was nominated by Elsevier for Journal Excellence Award - "Scopus Awards Romania 2015" (SNIP2014 = 1.029).

IJCCC is in Top 3 of 157 Romanian journals indexed by Scopus (in all fields) and No.1 in Computer Science field by Elsevier/ Scopus.

 

 Impact Factor in JCR2018 (Clarivate Analytics/SCI Expanded/ISI Web of Science): IF=1.585 (Q3). Scopus: CiteScore2018=1.56 (Q2);

SCImago Journal & Country Rank

Editors-in-Chief: Ioan DZITAC & Florin Gheorghe FILIP.