Geodesic
Calcoli generali con «tipi» e Logiche generalizzate
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 76 (1984) no. 1, pp. 1-6 Cet article a éte moissonné depuis la source Biblioteca Digitale Italiana di Matematica

Voir la notice de l'article

In this paper we introduce a notion of "Generalized Logic" and we study some of its properties. 
@article{RLINA_1984_8_76_1_a0,
     author = {Mangani, Piero},
     title = {Calcoli generali con {\guillemotleft}tipi{\guillemotright} e {Logiche} generalizzate},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
     pages = {1--6},
     year = {1984},
     volume = {Ser. 8, 76},
     number = {1},
     zbl = {0581.03033},
     mrnumber = {0815155},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RLINA_1984_8_76_1_a0/}
}
TY  - JOUR
AU  - Mangani, Piero
TI  - Calcoli generali con «tipi» e Logiche generalizzate
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1984
SP  - 1
EP  - 6
VL  - 76
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/RLINA_1984_8_76_1_a0/
LA  - it
ID  - RLINA_1984_8_76_1_a0
ER  - 
%0 Journal Article
%A Mangani, Piero
%T Calcoli generali con «tipi» e Logiche generalizzate
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1984
%P 1-6
%V 76
%N 1
%U http://geodesic.mathdoc.fr/item/RLINA_1984_8_76_1_a0/
%G it
%F RLINA_1984_8_76_1_a0
Mangani, Piero. Calcoli generali con «tipi» e Logiche generalizzate. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 76 (1984) no. 1, pp. 1-6. http://geodesic.mathdoc.fr/item/RLINA_1984_8_76_1_a0/

[1] Bell e Slomson (1971) - Models and ultraproducts. NHPC.

[2] Chang e Kleisler (1973) - Model Theory. NHPC.

[3] A.W. Jankowki (1982) - An alternative characterisation of Elementary Logic. «Bul. Acad. Polon. des Sci.», XXX (1-2), 198.

[4] R. Magari (1966) - Calcoli generali e spazi $V_{\alpha}$. (I) «Le Matematiche», XXI(1).

[5] P. Mangani (1968) - Calcoli generali con connettivi, «Le Matematiche», XXIII (1).

[6] Marcja e Tulipani (1974) - Questioni di teoria dei modelli per linguaggi universali positivi (I). «Rend. Accademia Naz. Lincei», Serie VIII, 56 (6).

[7] Makowsky e Shelah (1979) - The Theorems of Beth and Craig in abstract model theory (I). «Trans. Amer. Math. Soc», 256.

[8] D. Mundici (1981) — Applications of many-sorted Robinson consistency theorem. «Zeit. Math. Logik», 27 (1).

[9] D. Mundici (1981) - Robinson's consistency theorem in soft model theory. «Trans. Amer. Math. Soc.», 263.