Il Palazzo pubblico di Siena e la Mostra d'antica arte senese /

Mode of access: Internet.

Il Campo di Siena e il Palazzo pubblico

Mode of access: Internet.

Mostra dell'antica arte senese : aprile-agosto 1904, catalogo generale illustrato.

Includes index.

Recensões

Revista do IHA, N.3 (2007), pp.293-305

Copia di alcune firme autografe di personaggi illustri ricavata da documenti originali del Regio Archivio di Stato in Siena.

Cover title.

Il Palazzo del principe d'Oria a Fassolo in Genova /

Includes bibliographical references.

Libri dell' entrata e dell' uscita della repubblica di Siena, detti del Camarlingo e dei quattro provveditori della Biccherna ...

Mode of access: Internet.

The pavement masters of Siena (1369-1562)

"Authorities consulted": p. xi-xiii.

Pareri di XV architetti e notizie storiche intorno al Palazzo ducale di Venezia con illustrazioni.

Mode of access: Internet.

Bando e ordine da osservarsi per il nuovo appalto del tabacco; rinnovato ed ampliato per dover cominciare il di primo nov. 1736. e terminare a tutto ott. 1745.

Mode of access: Internet.

Pubbliche feste di gioja da eseguirsi nella citta di Siena nei giorni che sara felicitata dall'augusta presenza di Sua Altezza Imperiale, e Reale Ferdinando III ...

Mode of access: Internet.

Mètodes algebraics i de teoria de la prova per a la formalització del raonament vague

Projecte de recerca elaborat a partir d’una estada a la Università degli studi di Siena, Italy , entre 2007 i 2009. El projecte ha consistit en un estudi de la formalització lògica del raonament en presència de vaguetat amb els mètodes de la Lògica Algebraica i de la Teoria de la Prova. S'ha treballat fonamental en quatre direccions complementàries. En primer lloc, s'ha proposat un nou plantejament, més abstracte que el paradigma dominant fins ara, per l'estudi dels sistemes de lògica borrosa. Fins ara en l'estudi d'aquests sistemes l'atenció havia recaigut essencialment en l'obtenció de semàntiques basades en tnormes contínues (o almenys contínues per l'esquerra). En primer nivell de major abstracció hem estudiat les propietats de completesa de les lògiques borroses (tant proposicionals com de primer ordre) respecte de semàntiques definides sobre qualsevol cadena de valors de veritat, no necessàriament només sobre l'interval unitat dels nombres reals. A continuació, en un nivell encara més abstracte, s’ha pres l'anomenada jerarquia de Leibniz de la Lògica Algebraica Abstracta que classifica tots els sistemes lògics amb un bon comportament algebraic i s'ha expandit a una nova jerarquia (que anomenem implicacional) que permet definir noves classes de lògiques borroses que contenen quasi totes les conegudes fins ara. En segon lloc, s’ha continuat una línia d'investigació iniciada els darrers anys consistent en l'estudi de la veritat parcial com a noció sintàctica (és a dir, com a constants de veritat explícites en els sistemes de prova de les lògiques borroses). Per primer cop, s’ha considerat la semàntica racional per les lògiques proposicionals i la semàntica real i racional per les lògiques de primer ordre expandides amb constants. En tercer lloc, s’ha tractat el problema més fonamental del significat i la utilitat de les lògiques borroses com a modelitzadores de (part de) els fenòmens de la vaguetat en un darrer article de caràcter més filosòfic i divulgatiu, i en un altre més tècnic en què defensem la necessitat i presentem l'estat de l'art de l'estudi de les estructures algèbriques associades a les lògiques borroses. Finalment, s’ha dedicat la darrera part del projecte a l'estudi de la complexitat aritmètica de les lògiques borroses de primer ordre.