General operators binding variables in the interpreted modal calculus $\mathcal{MC}^{\nu}$
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 70 (1981) no. 4, pp. 191-197
Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica
Si considera il calcolo modale interpretato $\mathcal{MC}^{\nu}$, che è basato su un sistema di tipi con infiniti livelli, contiene descrizioni, ed è dotato di una semantica di tipo generale - v. [2], o [3], o [4], o [5]. In modo semplice e naturale si introducono in $\mathcal{MC}^{\nu}$ operatori vincolanti variabili, di tipo generale. Per teorie basate sul calcolo logico risultante $\mathcal{MC}^{\nu}$ vale un teorema di completezza, che si dimostra in modo immediato sulla base dell'estensione del teorema parziale di completezza stabilito in [11], fatta in [12].
@article{RLINA_1981_8_70_4_a0,
author = {Bressan, Aldo and Zanardo, Alberto},
title = {General operators binding variables in the interpreted modal calculus $\mathcal{MC}^{\nu}$},
journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
pages = {191--197},
publisher = {mathdoc},
volume = {Ser. 8, 70},
number = {4},
year = {1981},
zbl = {0525.03005},
language = {en},
url = {http://geodesic.mathdoc.fr/item/RLINA_1981_8_70_4_a0/}
}
TY - JOUR
AU - Bressan, Aldo
AU - Zanardo, Alberto
TI - General operators binding variables in the interpreted modal calculus $\mathcal{MC}^{\nu}$
JO - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY - 1981
SP - 191
EP - 197
VL - 70
IS - 4
PB - mathdoc
UR - http://geodesic.mathdoc.fr/item/RLINA_1981_8_70_4_a0/
LA - en
ID - RLINA_1981_8_70_4_a0
ER -
%0 Journal Article
%A Bressan, Aldo
%A Zanardo, Alberto
%T General operators binding variables in the interpreted modal calculus $\mathcal{MC}^{\nu}$
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1981
%P 191-197
%V 70
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RLINA_1981_8_70_4_a0/
%G en
%F RLINA_1981_8_70_4_a0
Bressan, Aldo; Zanardo, Alberto. General operators binding variables in the interpreted modal calculus $\mathcal{MC}^{\nu}$. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 70 (1981) no. 4, pp. 191-197. http://geodesic.mathdoc.fr/item/RLINA_1981_8_70_4_a0/