Logique trivalente de Lukasiewicz

Denise Becchio

Annales scientifiques de l'Université de Clermont. Mathématiques (1978)

  • Volume: 66, Issue: 16, page 33-83
  • ISSN: 0249-7042

How to cite

top

Becchio, Denise. "Logique trivalente de Lukasiewicz." Annales scientifiques de l'Université de Clermont. Mathématiques 66.16 (1978): 33-83. <http://eudml.org/doc/80475>.

@article{Becchio1978,
author = {Becchio, Denise},
journal = {Annales scientifiques de l'Université de Clermont. Mathématiques},
keywords = {trivalent logic of Lukasiewicz; many-valued propositional calculi; quasi- Boolean algebras},
language = {fre},
number = {16},
pages = {33-83},
publisher = {UER de Sciences exactes et naturelles de l'Université de Clermont},
title = {Logique trivalente de Lukasiewicz},
url = {http://eudml.org/doc/80475},
volume = {66},
year = {1978},
}

TY - JOUR
AU - Becchio, Denise
TI - Logique trivalente de Lukasiewicz
JO - Annales scientifiques de l'Université de Clermont. Mathématiques
PY - 1978
PB - UER de Sciences exactes et naturelles de l'Université de Clermont
VL - 66
IS - 16
SP - 33
EP - 83
LA - fre
KW - trivalent logic of Lukasiewicz; many-valued propositional calculi; quasi- Boolean algebras
UR - http://eudml.org/doc/80475
ER -

References

top
  1. (1) D.I. Bakarelov, Notes on the semantics of three-valued Lukasiewicz logic (Russian)C.R. Acad. Bulgare Sci., 25, 1972, p.1467-1469. Zbl0347.02008MR321687
  2. (2) D. Becchio, 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. Zbl0248.02024MR307878
  3. (3) D. Becchio, 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. Zbl0307.02040MR347592
  4. (4) R. Blanche, La logique trivalente de Lukasiewicz, Introduction à la logique contemporaine, Librairie Armand Colin, 1968, p.101-105. 
  5. (5) V. Boicescu, 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. Zbl0273.02044MR369064
  6. (6) L. Borkowski et J. Slupecki, The logical works of J. Lukasiewicz, Studia Logica, tome VIII, 1958, p. 7-56. Zbl0121.25103MR106807
  7. (7) S. M et R.K. Meyer, Pure three-valued Lukasiewiczian implication, J.S.L. vol. 31, n° 3, p. 399-405. Zbl0154.25505MR204278
  8. (8) R. Cignoli, Boolean elements in Lukasiewicz algebras 1, Proceedings of the Japan Acad., vol. 41, 1965, p. 670.675. Zbl0168.00601MR200216
  9. (9) R. Cignoli et A. Monteiro, Boolean elements in Lukasiewicz 11, Proceedings of the Japan Acad., vol. 41, 1965, p. 676-680. Zbl0168.00602MR201354
  10. (10) R. Cignoli, Boolean multiplicative closures 1, 11., Proceedings of the Japan Acad., vol. 42, 1966, p.1168-1174. Zbl0149.25703MR221991
  11. (11) R. Cignoli, On Varlet's characterization of three-valued Lukasiewicz algebras, 
  12. Notices A. M. S., 16, 4, 1969, p. 661-662. MR342536
  13. (12) P. Dienes, On ternary logic, J. S. L., vol. 14, n° 2, 1949, p. 85-94. Zbl0041.35305MR30472
  14. (13) V.K. Finn, 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. MR286632
  15. (14) V.K. Finn, 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. Zbl0252.02007MR323525
  16. (15) J.L. Gardies, 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. Zbl0257.02005MR327479
  17. (16) G. Georgescu, On the caracterization of centered Lukasiewicz algebras, Journal of algebra, vol. 16, n° 4, 1970, p. 486-495. Zbl0207.00703MR272609
  18. (17) H. Goldberg, H. Leblanc et G. Weaver, A strong completeness theorem for 3-valued logic, Notre Dame Journal of Formal Logic, vol. XV, n° 2,1974, p. 325-330. Zbl0232.02014MR376297
  19. (18) J.B. Grize, Une logique trivalente, Logique et connaissance scientifique, Encyclopédie de la Pléiade, 1967, p. 263-265. 
  20. (19) K. Iseki, Some three-valued logics and its algebraic representations, Proceedings of the Japan Acad., vol. 42, 1966, p. 761-762. Zbl0145.00702MR210563
  21. (20) L. Iturrioz, 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. 
  22. (21) J. Lukasiewicz, 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)Warszawa1918. 
  23. (22) J. Lukasiewicz, 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. MR218199
  24. (23) J. Lukasiewicz, 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. MR395474
  25. (24) J. Lukasiewicz, 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 H. Weber dans Polish Logic, 1920-1939, édité par Storrs Mc Call, Clarendon Press, 1967, p. 40-65. JFM57.1319.02
  26. (25) R. Mayet, 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. Zbl0291.02043MR304166
  27. (26) Gr. C. Moisil, Recherches sur les logiques non chrysippiennes, Annales scientifiques de l'Université de Jassy, 1940, XXVI, 1ère section, p. 431-466. Zbl0025.00409MR18620
  28. (27) Gr. C. Moisil, Notes sur les logiques non chrysippiennes, Annales scientifiques de l'Université de Jassy, 1941, XXVII, 1ère section, p. 86-98. Zbl0025.29401MR18621
  29. (28) Gr. C. Moisil, 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. Zbl0026.24601MR13136JFM67.0043.01
  30. (29) Gr. C. Moisil, Logique modale, Disquisitiones math. et phys. Bucarest, II, 1, 1942, p. 3-98. Zbl0063.04064MR20524
  31. (30) Gr. C. Moisil, 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. Zbl0027.00502JFM67.0043.03
  32. (31) Gr. C. Moisil, Les logiques à plusieurs valeurs et l'automatique, Infinistic Methods in mathematics, Sept. 1959, p. 337-345. Zbl0129.10005MR143680
  33. (32) Gr. C. Moisil, 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. 
  34. (33) Gr. C. Moisil, 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. MR209126
  35. (34) Gr. C. Moisil, Sur les idéaux des algèbres lukasiewicziennes trivalentes, Analele Universitatii bucureşti, seria acta logica, n° 1,1960, p. 83-95. Zbl0103.24803MR146069
  36. (35) Gr. C. Moisil, Sur la logique à trois valeurs de Lukasiewicz, Acta Logica,1962, tome V, p.103-117. Zbl0121.01102MR148538
  37. (36) Gr. C. Moisil, Les logiques non chrysippiennes et leurs applications, Acta Philosophica Fennica, fasc. 16, 1963, p. 137-152. Zbl0126.26001MR159753
  38. (37) Gr. C. Moisil, 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. Zbl0175.00904MR252120
  39. (38) Gr. C. Moisil, 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. 
  40. 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. MR209126
  41. (39) L. Monteiro, 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. Zbl0143.00606
  42. (40) L. Monteiro et L.G. Coppola, Sur une construction des algèbres de Lukasiewicz trivalentes, Portugaliae Mathematica, vol. 23, fasc. 3, 1964, p.157-167. Zbl0133.24402MR194325
  43. (41) L. Monteiro, Sur les algèbres de Lukasiewicz injectives, Proceedings of the Japan Acad., vol. 41, 1965, p. 578-581. Zbl0143.00607MR197371
  44. (42) L. Monteiro, 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. Zbl0214.01301MR292646
  45. (43) L. Monteiro, Extension d'homomorphismes dans les algèbres de Lukasiewicz trivalentes, Internat. Logic Rev. n° 2, 1970, p. 193-200. Zbl0296.02033MR307911
  46. (44) L. Monteiro, Les algèbres de Heyting et de Lukasiewicz trivalentes, Notre Dame Journal Formal Logic, 11, 1970, p. 453-466. Zbl0177.01001MR286633
  47. (45) L. Monteiro et L.G. Coppola, Un théorème sur les algèbres de Lukasiewicz trivalentes, Notas de Logica Matematica Universidad Nacional del Sur, Bahia Blanca21. 
  48. (46) L. Monteiro, Algebras de Lukasiewicz trivalentes monadicas, Notas de Logica matematica, Universidad Nacional del Sur, Bahia Blanca, n° 32,1974. Zbl0298.02063MR379184
  49. (47) A. Monteiro, 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. Zbl0143.00605MR191809
  50. (48) A. Monteiro, Construction des algèbres de Lukasiewicz trivalentes dans les algèbres de Boole monadiques. 1., Math. Japon.12, 1967, p.1-23. Zbl0165.30903MR224438
  51. (49) A. Mostowski, L'oeuvre scientifique de Jan Lukasiewicz dans le domaine de la logique mathématique, Fundamenta Mathematicae, XLIV, 1957, p.1-11. Zbl0077.24217
  52. (50) Gh. S. Nadiu, On a method of construction of trivalent Lukasiewicz algebras (Romanian), Stud. Cerc. Mat.19,1967, p.1063-1070. Zbl0154.00403MR250852
  53. (51) A. Petcu, 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. Zbl0155.01501MR237301
  54. (52) A.N. Prior, Three-valued and intuitionist logic, Formal logic, Clarendon Press, 1955, p. 230-259. 
  55. (53) T. Prucnal, A proof of completeness of the three-valued C-N-sentential calculus of Lukasiewicz, Studia Logica, XVIII,1966, p. 65-71. Zbl0292.02016MR199098
  56. (54) A. Rose, Axiom systems for three-valued logic, The journal of the london mathematical society, XXVI, 1951, p. 50-58. Zbl0043.00703MR40240
  57. (55) A. Rose, An axiom system for three-valued logic, Methodos, 1951, p. 233-239. MR40240
  58. (56) A. Sade, 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. Zbl0179.31401MR255378
  59. (57) A. Sade, Fonctions propositionnelles monadiques dans la logique trivalente, Ann. Soc. Sci. Bruxelles, Sér. 1, 83, 1969, p. 203-214. Zbl0175.26401MR250853
  60. (58) C. Sicoe, A characterization of Lukasiewiczian Algebra 1, 11, Proceedings of the Japan Aca., vol. 43, 1967, n° 8, p. 729-736. Zbl0165.30902MR220574
  61. (59) F.M. Sioson, Further axiomatizations of the Lukasiewicz three-valued calculus, Notre Dame Journal of Formal Logic, vol V, n.1, 1964, p. 62-70. Zbl0137.24902MR177883
  62. (60) J. Slupecki, G. Bryll et T. Prucnal, Some remarks on three-valued logic of J. Lukasiewicz, Studia Logica, tome 21,1967, p.1-26. Zbl0309.02017MR233691
  63. (61) J.C. Varlet, 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. Zbl0175.26604MR237388
  64. (62) J.C. Varlet, 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. Zbl0193.29604MR260631
  65. (63) M. Wajsberg, 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 B. Gruchman et S. Mc Call dans Polish Logic, 1920-1939, Clarendon Press, 1967, p. 264-284. MR218199

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.