Alcune questioni di teoria dei modelli per linguaggi predicativi generali
Mangani, Piero
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 60 (1976), p. 368-376 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

In this paper we define some generalized first-order languages, we prove the Łos theorem for these languages and give some applications.

Publié le : 1976-04-01
@article{RLINA_1976_8_60_4_368_0,
     author = {Piero Mangani},
     title = {Alcune questioni di teoria dei modelli per linguaggi predicativi generali},
     journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
     volume = {60},
     year = {1976},
     pages = {368-376},
     zbl = {0367.02027},
     mrnumber = {0462941},
     language = {it},
     url = {http://dml.mathdoc.fr/item/RLINA_1976_8_60_4_368_0}
}

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, Tome 60 (1976) pp. 368-376. http://gdmltest.u-ga.fr/item/RLINA_1976_8_60_4_368_0/

[1] Bell, J. L. e Slomson, A. B. (1971) - Models and Ultraproducts, North Holland P.C. | MR 269486

[2] Chang, C. C. e Keisler, J. H. (1966) - Continuous Model Theory, Princeton University Press. | MR 231708 | Zbl 0149.00402

[3] Henkin, L., Monk, J. D. e Tarski, A. (1971) - Cylindric Algebras (I), North Holland P.C. | MR 781929 | Zbl 0214.01302

[4] Rasiowa, H. (1974) - An algebraic approach to non-classical logics, North Holland P.C. | MR 446968 | Zbl 0299.02069

[5] Rescher, N. (1969) - Many-valued logic, McGraw Hill.

[6] Kirin, V. G. (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