Salta al contenuto
Atti degli incontri di logica matematica Volume 1
I Incontro: Metodi algebrici in logica
- R. Magari, Appunti di algebra della logica (corso breve)
- A. Marcja, Categoricità e algebra (corso breve)
- C. Mangione, Algebra e logica: momenti di un rapporto (introduzione al dibattito)
- C. Berta e G. Melon, Dottrine elementari-esistenziali regolari
- G. Gerla, Teoria dei modelli e logica modale
- P. Lipparini, Sul nullstellensatz di Hilbert in algebra universale
- M. Malatesta, Sul senso dei principi di identità , non contraddizione e terzo escluso
- V. Manca e A. Salibra, Algebra universale e logica in computer science
- F. Montagna, Il teorema di Solovay e l’aritmetica di Heyting
- G. Rosolini, Iterazioni di estensioni booleane
II Incontro: Teoria degli insiemi e ricorsività
- J. Combase, An introduction to naive set theory through the notion of normal filter (corso breve)
- J. Combase, On the existence of finitely determinate models for some theories in stationary logic
- G. Lolli, Complessità delle teorie (corso breve)
- M. Servi, Categorie e insiemi (introduzione al dibattito)
- C. Bernardi, Relazioni di equivalenza positive rappresentate da formule
- A. Cantini, Σ-modelli di sottoteorie KPI
- A. Ferro, Alcune questioni di decidibilità in teoria degli insiemi
- M. Forti e F. Honsell, Formalizzazioni del ”Principio di libera costruzione”
- G. Longo, Ricorsività e continuità: un’introduzione
- E.G. Omodeo, Decidibilità e validità, in presenza di operatori di scelta
- G. Rosolini, Un modello per la teoria intuizionista degli insiemi
- C. Toffalori, Teoria dei modelli per una classe di anelli differenziali
- A. Vincenzi, Gli esperimenti come macchine astratte
III Incontro: Teoria della dimostrazione, logiche non classiche e filosofia della logica
- E. Casari, Intermediate logics (corso breve)
- H. Schwichtenberg, On Martin-Löf’s theory of types (corso breve)
- M.L. Dalla Chiara e G. Toraldo di Francia, Logica e fisica (introduzione al dibattito)
- V.M. Abrusci, Sistemi di notazione ordinale e dilatori
- F. Arzarello, Un’interpretazione categoriale degli oggetti anomici
- F. Bellissima, Atoms in modal algebras
- C. Cellucci, La complessità delle dimostrazioni nella logica dei predicati del primo ordine
- P. Freguglia, Nota sulle origini del calcolo logic
- G. Gerla, Le modalità contrologiche
- P. Giaretta, Sulla costruzione di sequenze nella teoria del soggetto creativo
- E. Martino, Semantica intuizionista naturale e semantica di Beth generalizzata
- P. Miglioli, U. Moscato, M. Ornaghi e G. Usberti, Alcuni calcoli intermedi costruttivi
- E. Moriconi, Hilbert e l’ ”omega regola”
- C. Pizzi, La definizione delle modalità fisiche nella logica dell’implicazione consequenziale