Geodesic
Alcune questioni di teoria dei modelli per linguaggi predicativi generali
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 60 (1976) no. 4, pp. 368-376

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

Zbl MR
In this paper we define some generalized first-order languages, we prove the Łos theorem for these languages and give some applications. 
Mangani, Piero. Alcune questioni di teoria dei modelli per linguaggi predicativi generali. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 60 (1976) no. 4, pp. 368-376. http://geodesic.mathdoc.fr/item/RLINA_1976_8_60_4_a3/
@article{RLINA_1976_8_60_4_a3,
     author = {Mangani, Piero},
     title = {Alcune questioni di teoria dei modelli per linguaggi predicativi generali},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
     pages = {368--376},
     year = {1976},
     volume = {Ser. 8, 60},
     number = {4},
     zbl = {0367.02027},
     mrnumber = {0462941},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RLINA_1976_8_60_4_a3/}
}
TY  - JOUR
AU  - Mangani, Piero
TI  - Alcune questioni di teoria dei modelli per linguaggi predicativi generali
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1976
SP  - 368
EP  - 376
VL  - 60
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/RLINA_1976_8_60_4_a3/
LA  - it
ID  - RLINA_1976_8_60_4_a3
ER  - 
%0 Journal Article
%A Mangani, Piero
%T Alcune questioni di teoria dei modelli per linguaggi predicativi generali
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1976
%P 368-376
%V 60
%N 4
%U http://geodesic.mathdoc.fr/item/RLINA_1976_8_60_4_a3/
%G it
%F RLINA_1976_8_60_4_a3

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

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

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

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

[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 | Zbl