bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI
Indice degli Autori
Home -> Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend., Serie 8 -> Vol. 59 (1975), n. 3-4 -> pp. 219-223

Referenza completa

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 Serie 8 59 (1975), fasc. n.3-4, p. 219-223, (Italian)
pdf (430 Kb), djvu (496 Kb). | MR 0465836 | Zbl 0354.02037

Sunto

In this Note the Ł-chains elementary theory is proved to be decidable (cfr. [5]).
Referenze Bibliografiche
[1] C. C. CHANG (1958) - Algebraic analysis of many valued logics, «Trans. Amer. Math. Soc.», 88, 467-490. | fulltext (doi) | MR 94302 | Zbl 0084.00704
[2] C. C. CHANG (1959) - A new proof of the completeness of the Lukasiewicz axioms, «Trans. Amer. Math. Soc.», 95, 74-80. | fulltext (doi) | MR 122718 | Zbl 0093.01104
[3] Yu. L. ERSHOV, I. A. LAVROV, A. D. TAIMANOV e M. A. TAITSLIN (1965) - Elementary theories, «Russian Mathematicol Surveys», 20, 35-105. | MR 186553
[4] YU. SH. GUREVICH (1964) - Elementary properties of ordered abelian groups, «Algebra i Logika Seminar», 3 (1), 5-39. | fulltext EuDML | MR 161800
[5] P. MANGANI (1973) - Su certe algebre connesse con logiche a più valori, «Bollettino U.M.I.» 8 (4), 68-78. | MR 337491 | Zbl 0274.02007
[6] A. ROSE e J. B. ROSSER (1958) - Fragments of many valued statement calculi, «Trans. Amer. Math. Soc.», 87, 1-53. | fulltext (doi) | MR 94299 | Zbl 0085.24303
Home -> Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend., Serie 8 -> Vol. 59 (1975), n. 3-4 -> pp. 219-223

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a

logo MBACCon il contributo del Ministero per i Beni e le Attività Culturali