Currently displaying 1 – 3 of 3

Showing per page

Order by Relevance | Title | Year of publication

General operators binding variables in the interpreted modal calculus ℳ ⁢ 𝒞 ν

Aldo Bressan;  Alberto Zanardo — 1981

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Si considera il calcolo modale interpretato ℳ ⁢ 𝒞 ν , 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 ℳ ⁢ 𝒞 ν operatori vincolanti variabili, di tipo generale. Per teorie basate sul calcolo logico risultante ℳ ⁢ 𝒞 ν vale un teorema di completezza, che si dimostra in modo immediato sulla base dell'estensione del teorema parziale di completezza stabilito in [11], fatta...

General operators binding variables in the interpreted modal calculus ℳ ⁢ 𝒞 ν

Aldo Bressan;  Alberto Zanardo — 1981

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Si considera il calcolo modale interpretato ℳ ⁢ 𝒞 ν , 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 ℳ ⁢ 𝒞 ν operatori vincolanti variabili, di tipo generale. Per teorie basate sul calcolo logico risultante ℳ ⁢ 𝒞 ν vale un teorema di completezza, che si dimostra in modo immediato sulla base dell'estensione del teorema parziale di completezza stabilito in [11], fatta...

Page 1

Download Results (CSV)