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. 368-376

Referenza completa

Mangani, Piero:
Alcune questioni di teoria dei modelli per linguaggi predicativi generali
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Serie 8 60 (1976), fasc. n.4, p. 368-376, (Italian)
pdf (699 Kb), djvu (942 Kb). | MR 0462941 | Zbl 0367.02027

Sunto

In this paper we define some generalized first-order languages, we prove the Łos theorem for these languages and give some applications.
Referenze Bibliografiche
[1] J. L. BELL e A. B. SLOMSON (1971) - Models and Ultraproducts, North Holland P.C. | MR 269486
[2] C. C. CHANG e J. H. KEISLER (1966) - Continuous Model Theory, Princeton University Press. | MR 231708 | Zbl 0149.00402
[3] L. HENKIN, J. D. MONK e A. TARSKI (1971) - Cylindric Algebras (I), North Holland P.C. | MR 781929 | Zbl 0214.01302
[4] H. RASIOWA (1974) - An algebraic approach to non-classical logics, North Holland P.C. | MR 446968 | Zbl 0299.02069
[5] N. RESCHER (1969) - Many-valued logic, McGraw Hill.
[6] V. G. KIRIN (1966) - Gentzen's method for the many-valued propositional calculi, «Zeitschrift für Math. Logik und Grund, der Math.», 12, 317-332. | MR 201286 | Zbl 0147.25002
Home -> Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend., Serie 8 -> Vol. 60 (1976), n. 4 -> pp. 368-376

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