Geodesic
Proprietà e model-completamento di alcune varietà di algebre di Łukasiewicz
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 60 (1976) no. 4, pp. 359-367 Cet article a éte moissonné depuis la source Biblioteca Digitale Italiana di Matematica

Voir la notice de l'article

In this Note some algebraic properties of Łn-algebras are studied. Model-completion's existence and axioms, for Łn theories, are found. 
@article{RLINA_1976_8_60_4_a2,
     author = {Lacava, Francesco and Saeli, Donato},
     title = {Propriet\`a e model-completamento di alcune variet\`a di algebre di {{\L}ukasiewicz}},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
     pages = {359--367},
     year = {1976},
     volume = {Ser. 8, 60},
     number = {4},
     zbl = {0362.02038},
     mrnumber = {0460101},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RLINA_1976_8_60_4_a2/}
}
TY  - JOUR
AU  - Lacava, Francesco
AU  - Saeli, Donato
TI  - Proprietà e model-completamento di alcune varietà di algebre di Łukasiewicz
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1976
SP  - 359
EP  - 367
VL  - 60
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/RLINA_1976_8_60_4_a2/
LA  - it
ID  - RLINA_1976_8_60_4_a2
ER  - 
%0 Journal Article
%A Lacava, Francesco
%A Saeli, Donato
%T Proprietà e model-completamento di alcune varietà di algebre di Łukasiewicz
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1976
%P 359-367
%V 60
%N 4
%U http://geodesic.mathdoc.fr/item/RLINA_1976_8_60_4_a2/
%G it
%F RLINA_1976_8_60_4_a2
Lacava, Francesco; Saeli, Donato. Proprietà e model-completamento di alcune varietà di algebre di Łukasiewicz. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 60 (1976) no. 4, pp. 359-367. http://geodesic.mathdoc.fr/item/RLINA_1976_8_60_4_a2/

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

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

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

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

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

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

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

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