Estensioni libere di un'algebra di Boole.
Sulla quantificazione simultanea nelle algebre cilindriche.
Alcune osservazioni sulle algebre monadiche.
Algebrizzazione della logica monadica dotata dell'operatore di Hilbert
An algebraic version of a monadic 1st order logic with Hilbert's -symbol is given and compared with another one to be found in a previous paper written by the Author.
Alcune questioni di teoria dei modelli per linguaggi predicativi generali
In this paper we define some generalized first-order languages, we prove the Łos theorem for these languages and give some applications.
Calcoli generali con «tipi» e Logiche generalizzate
In this paper we introduce a notion of "Generalized Logic" and we study some of its properties.
Calcoli generali con «tipi» e Logiche generalizzate
In this paper we introduce a notion of "Generalized Logic" and we study some of its properties.
-Boolean spectrum, and stability
Si dimostra che la conoscenza delle algebre di Boole dei definibili di modelli di cardinità di una teoria elementare è sufficiente per decidere il suo tipo di stabilità.
-Boolean spectrum, and stability
Si dimostra che la conoscenza delle algebre di Boole dei definibili di modelli di cardinità di una teoria elementare è sufficiente per decidere il suo tipo di stabilità.
Page 1