16,389 research outputs found
Volpe collaboratore de «Il Tempo»
No full textAspetti storiografici dell'elaborazione concettuale di Gioacchino Volpe. A proposito di Europa nell'Età modern
Socialismo e nazione nella storiografia di Gioacchino Volpe
No full textMomenti e problemi della storiografia politica e sociale di Gioacchino Volpe rivisitati attraverso due categorie importanti del suo pensiero durante gli sviluppi del proprio lavoro di storic
Registrazione M. Rampazzo Bazzan Althusser e Della Volpe a partire dalla problematica datazione della coupure
No full textMarco Rampazzo Bazzan (PUCPR) Althusser e della Volpe. A partire dalla problematica datazione della ‘coupure’ Per ascoltare la registrazione cliccare qu
Labeled natural deduction for temporal logics
Full text linkNonostante la notevole rilevanza delle logiche temporali in molti campi dell'informatica, la loro analisi teorica non è certo da ritenersi conclusa. In particolare, molti sono i punti ancora aperti nell'ambito della teoria della dimostrazione, specialmente se consideriamo le logiche temporali di tipo branching.
Il principale contributo di questa tesi consiste nella presentazione di un approccio modulare per la definizione di sistemi di deduzione naturale etichettata per un'ampia gamma di logiche temporali. Viene innanzitutto proposto un sistema per la logica temporale minimale di Prior; si mostra quindi come estenderlo in maniera modulare allo scopo di trattare logiche più complesse, quali ad esempio LTL. Viene infine proposta un'estensione al caso delle logiche branching, concentrando l'attenzione sulle logiche con semantica di tipo Ockhamist e bundled.
Per i sistemi proposti, viene condotta una dettagliata analisi dal punto di vista della teoria della dimostrazione. In particolare, nel caso delle logiche del tempo discreto, per le quali si richiedono regole che modellino un principio di induzione, viene definita una procedura di normalizzazione ispirata da quelle dei sistemi per l'Aritmetica di Heyting. Come conseguenza, si ottiene una dimostrazione puramente sintattica della consistenza dei sistemi.Despite the great relevance of temporal logics in many applications of computer science, their theoretical analysis is far from being concluded. In particular, we still lack a satisfactory proof theory for temporal logics and this is especially true in the case of branching-time logics.
The main contribution of this thesis consists in presenting a modular approach to the definition of labeled (natural) deduction systems for a large class of temporal logics. We start by proposing a system for the basic Priorean tense logic and show how to modularly enrich it in order to deal with more complex logics, like LTL. We also consider the extension to the branching case, focusing on the Ockhamist branching-time logics with a bundled semantics.
A detailed proof-theoretical analysis of the systems is performed. In particular, in the case of discrete-time logics, for which rules modeling an induction principle are required, we define a procedure of normalization inspired to those of systems for Heyting Arithmetic. As a consequence of normalization, we obtain a purely syntactical proof of the consistency of the systems
Diseño de marca en el marco de una práctica profesional supervisada
No full textEste texto da a conocer el trabajo de diseño de marca para El Faro, Revista Digital de Docencia Universitaria de UFLO Universidad (Argentina) desarrollado por una estudiante del último año de la carrera, Sabrina Bolzoni Querenghi, en el marco del programa de la Práctica Profesional Supervisada (PPS) de la Licenciatura en Diseño Gráfico de la UFLO, durante el segundo cuatrimestre de 2023.Fil: Volpe, Natalia. Universidad de Flores; Argentina
17.12.2018 M. Rampazzo Bazzan: Althusser e della Volpe. A partire dalla problematica datazione della ‘coupure’
No full textUNIVERSITA’ DEGLI STUDI DI PADOVA Dipartimento di Scienze Politiche, Giuridiche e Studi Internazionali Gruppo di ricerca sui processi di soggettivazione politica nella società contemporanea Seminario Marx e il marxismo: scienza, società, politica Lunedì 17 dicembre 2018 ore 16.30 Marco Rampazzo Bazzan (PUCPR) Althusser e della Volpe. A partire dalla problematica datazione della ‘coupure’
Labeled Natural Deduction Systems for a Family of Tense Logics
No full textWe give labeled natural deduction systems for a family of tense logics extending the basic linear tense logic Kl. We prove that our systems are sound and complete with respect to the usual Kripke semantics, and that they possess a number of useful normalization properties (in particular, derivations reduce to a normal form that enjoys a subformula property). We also discuss how to extend our systems to capture richer logics like (fragments of) LTL
- …
