bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI
Indice degli Autori
Home -> Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend., Serie 8 -> Vol. 76 (1984), n. 1 -> pp. 1-6

Referenza completa

Mangani, Piero:
Calcoli generali con «tipi» e Logiche generalizzate
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Serie 8 76 (1984), fasc. n.1, p. 1-6, (Italian)
pdf (693 Kb), djvu (674 Kb). | MR 0815155 | Zbl 0581.03033

Sunto

In this paper we introduce a notion of "Generalized Logic" and we study some of its properties.
Referenze Bibliografiche
[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.
Home -> Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend., Serie 8 -> Vol. 76 (1984), n. 1 -> pp. 1-6

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da Geodesic, progetto sviluppato e mantenuto da Math-Doc, Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a

logo MBACCon il contributo del Ministero per i Beni e le Attività Culturali