Proprietà e model-completamento di alcune varietà di algebre di Łukasiewicz
Lacava, Francesco ; Saeli, Donato
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 60 (1976), p. 359-367 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

In this Note some algebraic properties of Łn-algebras are studied. Model-completion's existence and axioms, for Łn theories, are found.

Publié le : 1976-04-01
@article{RLINA_1976_8_60_4_359_0,
     author = {Francesco Lacava and Donato Saeli},
     title = {Propriet\`a e model-completamento di alcune variet\`a di algebre di \L ukasiewicz},
     journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
     volume = {60},
     year = {1976},
     pages = {359-367},
     zbl = {0362.02038},
     mrnumber = {0460101},
     language = {it},
     url = {http://dml.mathdoc.fr/item/RLINA_1976_8_60_4_359_0}
}

Lacava, Francesco; Saeli, Donato. Proprietà e model-completamento di alcune varietà di algebre di Łukasiewicz. Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 60 (1976) pp. 359-367. http://gdmltest.u-ga.fr/item/RLINA_1976_8_60_4_359_0/

[1] Bacsich, P. D. (1973) - Primality and model-completions, «Algebra Universalis», 3 (3). | MR 351953 | Zbl 0308.02052

[2] Burris, S. e Werner, H. (1975) - Sheaf constructions and their elementary properties, I, II, «Technische Hochschule Darmstadt», Preprint n. 230, Ottobre. | Zbl 0411.03022

[3] Chang, C. C. (1958) - Algebraic analysis of many valued logics, «Trans. Amer. Math. Soc.», 88, 467-490. | MR 94302 | Zbl 0084.00704

[4] Chang, C. C. (1959) — A new proof of the completenesss of the Lukasiewicz axioms, «Trans. Amer. Math. Soc.», 93, 74-80. | MR 122718

[5] Hirschfeld, J. e Wheeler, W. (1975) - Forcing, Arithmetic, Division Rings, Springer-Verlag Berlin, Heidelberg, New York. | MR 389581 | Zbl 0304.02024

[6] Mangani, P. (1973) - Su certe algebre connesse con logiche a più valori, «Bollettino U.M.I.» (4), 8, 68-78. | MR 337491 | Zbl 0274.02007

[7] Rose, A. e Rosser, J. B. (1958) - Fragments of many valued statement calculi, «Trans. Amer. Math. Soc.», 87, 1-53. | MR 94299 | Zbl 0085.24303

[8] Saeli, D. - Problemi di decisione per algebre connesse a logiche a più valori (in corso di stampa). | Zbl 0354.02037