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. 60 (1976), n. 4 -> pp. 359-367

Referenza completa

Lacava, Francesco and 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 Serie 8 60 (1976), fasc. n.4, p. 359-367, (Italian)
pdf (628 Kb), djvu (823 Kb). | MR 0460101 | Zbl 0362.02038

Sunto

In this Note some algebraic properties of Łn-algebras are studied. Model-completion's existence and axioms, for Łn theories, are found.
Referenze Bibliografiche
[1] P. D. BACSICH (1973) - Primality and model-completions, «Algebra Universalis», 3 (3). | fulltext (doi) | MR 351953 | Zbl 0308.02052
[2] S. BURRIS e H. WERNER (1975) - Sheaf constructions and their elementary properties, I, II, «Technische Hochschule Darmstadt», Preprint n. 230, Ottobre. | Zbl 0411.03022
[3] C. C. CHANG (1958) - Algebraic analysis of many valued logics, «Trans. Amer. Math. Soc.», 88, 467-490. | fulltext (doi) | MR 94302 | Zbl 0084.00704
[4] C. C. CHANG (1959) — A new proof of the completenesss of the Lukasiewicz axioms, «Trans. Amer. Math. Soc.», 93, 74-80. | fulltext (doi) | MR 122718
[5] J. HIRSCHFELD e W. WHEELER (1975) - Forcing, Arithmetic, Division Rings, Springer-Verlag Berlin, Heidelberg, New York. | MR 389581 | Zbl 0304.02024
[6] P. MANGANI (1973) - Su certe algebre connesse con logiche a più valori, «Bollettino U.M.I.» (4), 8, 68-78. | MR 337491 | Zbl 0274.02007
[7] 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
[8] D. SAELI - Problemi di decisione per algebre connesse a logiche a più valori (in corso di stampa). | Zbl 0354.02037
Home -> Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend., Serie 8 -> Vol. 60 (1976), n. 4 -> pp. 359-367

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