Calcoli generali con «tipi» e Logiche generalizzate
- Volume: 76, Issue: 1, page 1-6
- ISSN: 1120-6330
Access Full Article
top
Abstract
topHow to cite
topMangani, Piero. "Calcoli generali con «tipi» e Logiche generalizzate." Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni 76.1 (1984): 1-6. <http://eudml.org/doc/287332>.
@article{Mangani1984,
author = {Mangani, Piero},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni},
keywords = {general typed calculi},
language = {ita},
month = {1},
number = {1},
pages = {1-6},
publisher = {Accademia Nazionale dei Lincei},
title = {Calcoli generali con «tipi» e Logiche generalizzate},
url = {http://eudml.org/doc/287332},
volume = {76},
year = {1984},
}
TY - JOUR
AU - Mangani, Piero
TI - Calcoli generali con «tipi» e Logiche generalizzate
JO - Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
DA - 1984/1//
PB - Accademia Nazionale dei Lincei
VL - 76
IS - 1
SP - 1
EP - 6
LA - ita
KW - general typed calculi
UR - http://eudml.org/doc/287332
ER -
References
top- BELL, e SLOMSON, (1971) - Models and ultraproducts. NHPC. Zbl0179.31402
- CHANG, e KLEISLER, (1973) - Model Theory. NHPC.
- JANKOWKI, A.W. (1982) - An alternative characterisation of Elementary Logic. «Bul. Acad. Polon. des Sci.», XXX (1-2), 198.
- MAGARI, R. (1966) - Calcoli generali e spazi . (I) «Le Matematiche», XXI(1).
- MANGANI, P. (1968) - Calcoli generali con connettivi, «Le Matematiche», XXIII (1). Zbl0195.30001
- MARCJA, e TULIPANI, (1974) - Questioni di teoria dei modelli per linguaggi universali positivi (I). «Rend. Accademia Naz. Lincei», Serie VIII, 56 (6). Zbl0317.02055
- MAKOWSKY, e SHELAH, (1979) - The Theorems of Beth and Craig in abstract model theory (I). «Trans. Amer. Math. Soc», 256. Zbl0428.03032
- MUNDICI, D. (1981) — Applications of many-sorted Robinson consistency theorem. «Zeit. Math. Logik», 27 (1). Zbl0463.03023
- MUNDICI, D. (1981) - Robinson's consistency theorem in soft model theory. «Trans. Amer. Math. Soc.», 263.
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.