Calcoli generali con «tipi» e Logiche generalizzate
Mangani, Piero
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 76 (1984), p. 1-6 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

In this paper we introduce a notion of "Generalized Logic" and we study some of its properties.

Publié le : 1984-01-01
@article{RLINA_1984_8_76_1_1_0,
     author = {Piero Mangani},
     title = {Calcoli generali con \guillemotleft{}tipi\guillemotright{} e Logiche generalizzate},
     journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
     volume = {76},
     year = {1984},
     pages = {1-6},
     zbl = {0581.03033},
     mrnumber = {0815155},
     language = {it},
     url = {http://dml.mathdoc.fr/item/RLINA_1984_8_76_1_1_0}
}

Mangani, Piero. Calcoli generali con «tipi» e Logiche generalizzate. Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 76 (1984) pp. 1-6. http://gdmltest.u-ga.fr/item/RLINA_1984_8_76_1_1_0/

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

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

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

[4] Magari, R. (1966) - Calcoli generali e spazi Vα. (I) «Le Matematiche», XXI(1).

[5] Mangani, P. (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] Mundici, D. (1981) — Applications of many-sorted Robinson consistency theorem. «Zeit. Math. Logik», 27 (1).

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