Post complete and 0-axiomatizable modal logics

The study of dual spaces of finitely generated free algebras over equational classes of modal algebras or Heyting algebras provides a tool which permits the resolution in a uniform way of a considerable number of otherwise disconnected problems, which concern normal modal logics and intermediate logics (see, as regards the former, [8] and [2], and, as regards the latter, [3] and [4]). In the present paper we study the O-canonical models for the propositional normal modal logics, which are, up to isomorphism, the dual spaces of the free algebras without generators over the equational classes of modal algebras. This analysis allows us, via a result due to Makinson-Segerberg, to determine in a rather visualizable way the Post numbers of all the propositional normal modal logics which are standard in the literature; moreover it allows us to solve the problem of finding, for each cardinal number (Y such that 1s (YG 2%, the cardinality of the set of logics whose Post number is CY. Finally, we investigate the lattice A’(K) of the modal logics which are axiomatizable by means of formulas without propositional variables; among other things, we show that A’(K) is not dually strongly atomic and contains a sublattice isomorphic to (R , S) . All these results strengthen the impression of the great complexity of the lattice A(K) of all normal modal logics

La matematica delle scale musicali

Storia dei rapporti tra matematica e musica legati alla formalizzazione delle scale musical

Il sistema assiomatico deduttivo degli Elementi Armonici di Aristosseno

Gli Elementi Armonici di Aristosseno sono tra i testi di teoria musicale più noti e ciò, per quanto riguarda i moderni, è dovuto al fatto che in molti hanno visto nella scala diatonica aristossenica una anticipazione della scala temperata. L'intento degli Elementi Armonici è molto generale e consiste nell'applicazione della teoria della scienza aritotelica alla costruzione di un sistema assiomatico delle scale musicali. Nella nostra indagine dimostriamo l'adeguatezza di tale sistema di assiomi costruendo ex novo una teoria logico-formale a partire da essi

IL SISTEMA ASSIOMATICO-DEDUTTIVO DEGLI ELEMENTI ARMONICI DI ARISTOSSENO

Gli Elementi Armonici di Aristosseno sono tra i testi di teoria musicale più noti e ciò, per quanto riguarda i moderni, è dovuto al fatto che in molti hanno visto nella scala diatonica aristossenica una anticipazione della scala temperata. L'intento degli Elementi Armonici è molto generale e consiste nell'applicazione della teoria della scienza aritotelica alla costruzione di un sistema assiomatico delle scale musicali. Nella nostra indagine dimostriamo l'adeguatezza di tale sistema di assiomi costruendo ex novo una teoria logico-formale a partire da essi