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
Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica
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},
publisher = {mathdoc},
volume = {Ser. 8, 76},
number = {1},
year = {1984},
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 PB - mathdoc 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 %I mathdoc %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/