Geodesic
Problemi di decisione per algebre connesse a logiche a più valori
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 59 (1975) no. 3-4, pp. 219-223 Cet article a éte moissonné depuis la source Biblioteca Digitale Italiana di Matematica

Voir la notice de l'article

In this Note the Ł-chains elementary theory is proved to be decidable (cfr. [5]). 
@article{RLINA_1975_8_59_3-4_a1,
     author = {Saeli, Donato},
     title = {Problemi di decisione per algebre connesse a logiche a pi\`u valori},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
     pages = {219--223},
     year = {1975},
     volume = {Ser. 8, 59},
     number = {3-4},
     zbl = {0354.02037},
     mrnumber = {0465836},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RLINA_1975_8_59_3-4_a1/}
}
TY  - JOUR
AU  - Saeli, Donato
TI  - Problemi di decisione per algebre connesse a logiche a più valori
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1975
SP  - 219
EP  - 223
VL  - 59
IS  - 3-4
UR  - http://geodesic.mathdoc.fr/item/RLINA_1975_8_59_3-4_a1/
LA  - it
ID  - RLINA_1975_8_59_3-4_a1
ER  - 
%0 Journal Article
%A Saeli, Donato
%T Problemi di decisione per algebre connesse a logiche a più valori
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1975
%P 219-223
%V 59
%N 3-4
%U http://geodesic.mathdoc.fr/item/RLINA_1975_8_59_3-4_a1/
%G it
%F RLINA_1975_8_59_3-4_a1
Saeli, Donato. Problemi di decisione per algebre connesse a logiche a più valori. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 59 (1975) no. 3-4, pp. 219-223. http://geodesic.mathdoc.fr/item/RLINA_1975_8_59_3-4_a1/

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

[2] C. C. Chang (1959) - A new proof of the completeness of the Lukasiewicz axioms, «Trans. Amer. Math. Soc.», 95, 74-80. | DOI | MR | Zbl

[3] Yu. L. Ershov, I. A. Lavrov, A. D. Taimanov e M. A. Taitslin (1965) - Elementary theories, «Russian Mathematicol Surveys», 20, 35-105. | MR

[4] Yu. Sh. Gurevich (1964) - Elementary properties of ordered abelian groups, «Algebra i Logika Seminar», 3 (1), 5-39. | fulltext EuDML | MR

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

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