Ganzgeschlossene und prädikatgeschlossene Logiken I.
Ganzgeschlossene und prädikatgeschlossene Logiken II.
General operators binding variables in the interpreted modal calculus
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...
Geometric and higher order logic in terms of abstract Stone duality.