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

In this paper we define some generalized first-order languages, we prove the Łos theorem for these languages and give some applications. 
@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},
     publisher = {mathdoc},
     volume = {Ser. 8, 60},
     number = {4},
     year = {1976},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RLINA_1976_8_60_4_a3/
%G it
%F RLINA_1976_8_60_4_a3
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/

[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