Problemi di decisione per algebre connesse a logiche a più valori
Saeli, Donato
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 59 (1975), p. 219-223 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

In this Note the Ł-chains elementary theory is proved to be decidable (cfr. [5]).

Publié le : 1975-09-01
@article{RLINA_1975_8_59_3-4_219_0,
     author = {Donato Saeli},
     title = {Problemi di decisione per algebre connesse a logiche a pi\`u valori},
     journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
     volume = {59},
     year = {1975},
     pages = {219-223},
     zbl = {0354.02037},
     mrnumber = {0465836},
     language = {it},
     url = {http://dml.mathdoc.fr/item/RLINA_1975_8_59_3-4_219_0}
}

Saeli, Donato. Problemi di decisione per algebre connesse a logiche a più valori. Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 59 (1975) pp. 219-223. http://gdmltest.u-ga.fr/item/RLINA_1975_8_59_3-4_219_0/

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

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

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

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

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

[6] 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