@article{ASCFM_1978__66_16_33_0, author = {Becchio, Denise}, title = {Logique trivalente de {Lukasiewicz}}, journal = {Annales scientifiques de l'Universit\'e de Clermont. Math\'ematiques}, pages = {33--83}, publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont}, volume = {66}, number = {16}, year = {1978}, mrnumber = {526951}, zbl = {0414.03013}, language = {fr}, url = {http://www.numdam.org/item/ASCFM_1978__66_16_33_0/} }
TY - JOUR AU - Becchio, Denise TI - Logique trivalente de Lukasiewicz JO - Annales scientifiques de l'Université de Clermont. Mathématiques PY - 1978 SP - 33 EP - 83 VL - 66 IS - 16 PB - UER de Sciences exactes et naturelles de l'Université de Clermont UR - http://www.numdam.org/item/ASCFM_1978__66_16_33_0/ LA - fr ID - ASCFM_1978__66_16_33_0 ER -
%0 Journal Article %A Becchio, Denise %T Logique trivalente de Lukasiewicz %J Annales scientifiques de l'Université de Clermont. Mathématiques %D 1978 %P 33-83 %V 66 %N 16 %I UER de Sciences exactes et naturelles de l'Université de Clermont %U http://www.numdam.org/item/ASCFM_1978__66_16_33_0/ %G fr %F ASCFM_1978__66_16_33_0
Becchio, Denise. Logique trivalente de Lukasiewicz. Annales scientifiques de l'Université de Clermont. Mathématiques, Volume 66 (1978) no. 16, pp. 33-83. http://www.numdam.org/item/ASCFM_1978__66_16_33_0/
(1) Notes on the semantics of three-valued Lukasiewicz logic (Russian) C.R. Acad. Bulgare Sci., 25, 1972, p.1467-1469. | MR | Zbl
,(2) Nouvelle démonstration de la complétude du système de Wajsberg axiomatisant la logique trivalente de Lukasiewicz, C. R. Acad. Sc. Paris, t. 275, 1972, p. 679-682. | MR | Zbl
,(3) Sur les définitions des algèbres trivalentes de Lukasiewicz données par A. Monteiro, Logique et Analyse, n° 63-64,1973, p. 339-344. | MR | Zbl
,(4) La logique trivalente de Lukasiewicz, Introduction à la logique contemporaine, Librairie Armand Colin, 1968, p.101-105.
,(5) Sur les algèbres de Lukasiewicz, Logique Automatique Informatique, Editions de l'Académie de la République Socialiste de Roumanie, 1971, p. 71-89. | MR | Zbl
,(6) The logical works of J. Lukasiewicz, Studia Logica, tome VIII, 1958, p. 7-56. | MR | Zbl
et ,(7) Pure three-valued Lukasiewiczian implication, J.S.L. vol. 31, n° 3, p. 399-405. | MR | Zbl
et ,(8) Boolean elements in Lukasiewicz algebras 1, Proceedings of the Japan Acad., vol. 41, 1965, p. 670.675. | MR
,(9) Boolean elements in Lukasiewicz 11, Proceedings of the Japan Acad., vol. 41, 1965, p. 676-680. | MR | Zbl
et ,(10) Boolean multiplicative closures 1, 11., Proceedings of the Japan Acad., vol. 42, 1966, p.1168-1174. | MR | Zbl
,(11) On Varlet's characterization of three-valued Lukasiewicz algebras,
,Notices A. M. S., 16, 4, 1969, p. 661-662. | MR
(12) On ternary logic, J. S. L., vol. 14, n° 2, 1949, p. 85-94. | MR | Zbl
,(13) The precompleteness of a class of functions that corresponds to the three-valued logic of J. Lukasiewicz (Russian), Naucn. Tehn. Informacija (VINITI) Ser 2 Inform. Processy i Sistemy, 1969, n° 10, p. 35-38. | MR
,(14) Certain characteristic truth-tables of classical logic and of the three-valued logic of J. Lukasiewicz (Russian), Studies in systems of logic (dedicated to the memory of S.A. Janovskaja), (Russian), Izdat «Nauka» Moscow, 1970, p. 215-261. | MR | Zbl
,(15) Les particularités du système propositionnel trivalent de Lukasiewicz s'expliquent-elles par le conflit de deux exigences ? Studia Logica, XXIX, 1971, p.149-152. | MR | Zbl
,(16) On the caracterization of centered Lukasiewicz algebras, Journal of algebra, vol. 16, n° 4, 1970, p. 486-495. | MR | Zbl
,(17) A strong completeness theorem for 3-valued logic, Notre Dame Journal of Formal Logic, vol. XV, n° 2,1974, p. 325-330. | MR | Zbl
, et ,(18) Une logique trivalente, Logique et connaissance scientifique, Encyclopédie de la Pléiade, 1967, p. 263-265.
,(19) Some three-valued logics and its algebraic representations, Proceedings of the Japan Acad., vol. 42, 1966, p. 761-762. | MR | Zbl
,(20) Axiomas para el calculo proposicional trivalente de Lukasiewicz, Revista de la Union Matematica Argentina y de la Asociacion Fisica Argentina, XXII, n° 3, 1965,p.150.
,(21) Treść wykładn posegnalnego wygtoszonego w sali Universytetu Warszawskiego dnia 7 marca 1918 (Leçon d'adieu prononcée dans la salle de l'Université de Varsovie le 7 mars 1918) Warszawa 1918.
,(22) O projeciu mozliności, R. F. 5, 1919, 1920, p. 169-170, traduit par H. Hiz dans Polish Logic,1920-1939, édité par Storrs Mc Call, Clarendon Press, 1967, p.15. | MR
,(23) O logice trójwartościowej, R. F. 5,1920, p.170-171, traduit par H. Hiz dans Polish Logic, 1920-1939, édité par Storrs Mc Call, Clarendon Press, 1967, p.16, traduit par O. Wojtasiewicz dans Jan Lukasiewicz selected works, édité par Borkowski, North Holland, 1970, p. 87-88. | MR
,(24) Philosophishe Bernerkungen zu mehrwertigen Systemen das Aussagenkalküls, Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, Cl III, 23, 1930, p. 51-77, traduit par dans Polish Logic, 1920-1939, édité par Storrs Mc Call, Clarendon Press, 1967, p. 40-65. | JFM
,(25) Relations entre les anneaux booléiens, les anneaux monadiques et les algèbres trivalentes de Lukasiewicz, C.R. Acad. Sc. Paris, t. 275,1972, p.1-3. | MR | Zbl
,(26) Recherches sur les logiques non chrysippiennes, Annales scientifiques de l'Université de Jassy, 1940, XXVI, 1ère section, p. 431-466. | MR | Zbl
,(27) Notes sur les logiques non chrysippiennes, Annales scientifiques de l'Université de Jassy, 1941, XXVII, 1ère section, p. 86-98. | MR | Zbl
,(28) Sur les anneaux de caractéristiques 2 ou 3 et leurs applications, Bulletin de l'Ecole polytechnique de Bucarest, XIIe année, 1941, n° 1 et 2. | JFM | MR | Zbl
,(29) Logique modale, Disquisitiones math. et phys. Bucarest, II, 1, 1942, p. 3-98. | MR | Zbl
,(30) Sur les théories déductives à logique non chrysippienne, Comptes rendus des Séances de l'Académie des Sciences de Roumanie, V,1.2., 1941. | JFM | Zbl
,(31) Les logiques à plusieurs valeurs et l'automatique, Infinistic Methods in mathematics, Sept. 1959, p. 337-345. | MR | Zbl
,(32) Les logiques à plusieurs valeurs et les circuits à contacts et relais, Communication présentée à la conférence roumaine-soviétique «Les problèmes scientifiques des sciences de la nature», juin 1959, imprimée en 1960 aux éditions de l'académie de la république populaire roumaine.
,(33) Asupra calculului predicatelor in logica cu trei valori, Incercări vechi şi noi de logică neclasică, Editura Ştiinţifică, Bucureşti, 1965, p. 340-354. | MR
,(34) Sur les idéaux des algèbres lukasiewicziennes trivalentes, Analele Universitatii bucureşti, seria acta logica, n° 1,1960, p. 83-95. | MR | Zbl
,(35) Sur la logique à trois valeurs de Lukasiewicz, Acta Logica,1962, tome V, p.103-117. | MR | Zbl
,(36) Les logiques non chrysippiennes et leurs applications, Acta Philosophica Fennica, fasc. 16, 1963, p. 137-152. | MR | Zbl
,(37) Les logiques à plusieurs valeurs et leur intérêt dans l'étude des circuits à contacts et relais, Bull. Math. de la Soc. Sci. Math. de la R.S.R., tome 12, (60), n° 3, 1968, p. 73-79. | MR | Zbl
,(38) La logique mathématique pure et appliquée en R. S. de Roumanie, XIIIe congrès international d'histoire des Sciences, Moscou, 18-24 août 1971.
,Les publications (26) à (30), (32) à (35), de Gr. C. Moisil figurent également en roumain dans le livre «Incercări vechi şi noi de logică neclasică», Editura Ştiinţifica, Bucuresti, 1965, et en français dans le livre « Essais sur les logiques non chrysippiennes», Editions de l'Académie de la République Socialiste de Roumanie,1972. | MR
(39) Axiomes indépendants pour les algèbres de Lukasiewicz trivalentes, Bull. Math. de la Soc. Sci. Math. Phys. de la R.P.R., tome7 (55) n° 3.1., 1963. | Zbl
,(40) Sur une construction des algèbres de Lukasiewicz trivalentes, Portugaliae Mathematica, vol. 23, fasc. 3, 1964, p.157-167. | MR | Zbl
et ,(41) Sur les algèbres de Lukasiewicz injectives, Proceedings of the Japan Acad., vol. 41, 1965, p. 578-581. | MR | Zbl
,(42) Sur le principe de détermination de Moisil dans les algèbres de Lukasiewicz trivalentes, Bull. Math. de la Soc. Sci. Math. de la R. S. de Roumanie, tome 13, (61) n° 4, 1969, p. 447-448. | MR | Zbl
,(43) Extension d'homomorphismes dans les algèbres de Lukasiewicz trivalentes, Internat. Logic Rev. n° 2, 1970, p. 193-200. | MR | Zbl
,(44) Les algèbres de Heyting et de Lukasiewicz trivalentes, Notre Dame Journal Formal Logic, 11, 1970, p. 453-466. | MR | Zbl
,(45) Un théorème sur les algèbres de Lukasiewicz trivalentes, Notas de Logica Matematica Universidad Nacional del Sur, Bahia Blanca 21.
et ,(46) Algebras de Lukasiewicz trivalentes monadicas, Notas de Logica matematica, Universidad Nacional del Sur, Bahia Blanca, n° 32,1974. | MR | Zbl
,(47) Sur la définition des algèbres de Lukasiewicz trivalentes, Bull. Math. de la Soc. Sci. Math. Phys. de la R.P.R., tome7 (55) n.1.2., 1963, p. 3-10. | MR | Zbl
,(48) Construction des algèbres de Lukasiewicz trivalentes dans les algèbres de Boole monadiques. 1., Math. Japon. 12, 1967, p.1-23. | MR | Zbl
,(49) L'oeuvre scientifique de Jan Lukasiewicz dans le domaine de la logique mathématique, Fundamenta Mathematicae, XLIV, 1957, p.1-11. | Zbl
,(50) On a method of construction of trivalent Lukasiewicz algebras (Romanian), Stud. Cerc. Mat.19,1967, p.1063-1070. | MR | Zbl
,(51) The definition of the trivalent Lukasiewicz algebras by three equations. Revue roumaine de maths pures et appliquées, XIII, n.2, 1968, p. 247-250. | MR | Zbl
,(52) Three-valued and intuitionist logic, Formal logic, Clarendon Press, 1955, p. 230-259.
,(53) A proof of completeness of the three-valued C-N-sentential calculus of Lukasiewicz, Studia Logica, XVIII,1966, p. 65-71. | MR | Zbl
,(54) Axiom systems for three-valued logic, The journal of the london mathematical society, XXVI, 1951, p. 50-58. | MR | Zbl
,(55) An axiom system for three-valued logic, Methodos, 1951, p. 233-239. | MR
,(56) Algèbre de Lukasiewicz dans la logique trivalente, Publications de la Faculté d'électrotechnique de l'Université à Belgrade, Série Mathématiques et Physique, N° 273, 1969. | MR | Zbl
,(57) Fonctions propositionnelles monadiques dans la logique trivalente, Ann. Soc. Sci. Bruxelles, Sér. 1, 83, 1969, p. 203-214. | MR | Zbl
,(58) A characterization of Lukasiewiczian Algebra 1, 11, Proceedings of the Japan Aca., vol. 43, 1967, n° 8, p. 729-736. | MR | Zbl
,(59) Further axiomatizations of the Lukasiewicz three-valued calculus, Notre Dame Journal of Formal Logic, vol V, n.1, 1964, p. 62-70. | MR | Zbl
,(60) Some remarks on three-valued logic of J. Lukasiewicz, Studia Logica, tome 21,1967, p.1-26. | MR | Zbl
, et ,(61) Algèbres de Lukasiewicz trivalentes, Bulletin de la société royale des sciences de Liège, 36e année, n° 9-10, 1968, p. 399-408. | MR | Zbl
,(62) Considérations sur les algèbres de Lukasiewicz trivalentes, Bulletin de la société royale des sciences de Liège, 38e année, n° 9-10, 1969, p. 462-469. | MR | Zbl
,(63) Aksjomatyzacja trojwartosciowego rachunku zdan, Comptes rendus des séances de la société des sciences et des lettres de Varsovie, CI.III, 24, 1931, p. 126-145, traduit par et dans Polish Logic, 1920-1939, Clarendon Press, 1967, p. 264-284. | MR
,