In this paper we introduce a notion of "Generalized Logic" and we study some of its properties.

The abstract model-theoretic concepts of compactness and Löwenheim-Skolem properties are investigated in the "softer" framework of pre-institutions [18]. Two compactness results are presented in this paper: a more informative reformulation of the compactness theorem for pre-institution transformations, and a theorem on natural equivalences with an abstract form of the first-order pre-institution. These results rely on notions of compact transformation, which are introduced as arrow-oriented generalizations...

Si determinano alcune restrizioni sulle possibili cardinalità dei modelli di teorie in logiche soddisfacenti alcune proprietà di compattezza. Si dà una caratterizzazione delle logiche $[\lambda ,\mu ]$-compatte generate da quantificatori di cardinalità. Si stabilisce che il primo cardinale $k$ tale che una logica è $(k,k)$-compatta è debolmente inaccessibile e soddisfa la proprietà dell'albero. Dai risultati enunciati appare un raffronto assai particolareggiato fra i due concetti di $(\lambda ,\mu )$-compattezza e $[\lambda ,\mu ]$-compattezza.