Atti degli incontri di logica matematica Volume 4

• Indice

Corso Breve

• A.S. Troelstra, A short course in intuitionistic metamathematics
• A.S Troelstra, Validity and completeness for intuitionistic predicate logic

Tavola Rotonda

Intervento introduttivo di

• Adriano Barlotti, Tavola rotonda sul tema “La logica nella matematica”.
• Mario Curzio, Tavola rotonda sul tema “La logica nella matematica”.
• Giovanni Prodi, Tavola rotonda sul tema “La logica nella matematica”.

Comunicazioni e Conferenze

• Andrea Cantini, Some consistency results concerning a theory of properties
• Massimo Clavelli, Assiomi X₁ complessivi globali (Una generalizzazione dell’assioma X₁ per insiemi)
• Giovanna Corsi, On Dummett’s LC quantified
• Melvin Fitting, Intuitionistic resolution
• S. Ghilardi e G.C. Meloni, Un approccio categoriale alla logica predicativa modale e lineare distributiva
• Ales Heller, An existence theorem for recursion categories
• Corrado Mangione, Fondamenti della matematica e filosofia (della matematica)
• Enrico Martino, Fondatezza semantica classica e intuizionistica
• Pierangelo Miglioli, Ugo Moscato e Mario Ornaghi, Teorie del primo ordine da un punto di vista di costruttivismo “ingenuo”: compatibilità costruttiva di principi matematici e logici in un sistema deduttivo “grande”
• Flavio Previale, Controesempi della proprietà di eliminazione del taglio e della coerenza della logica pura
• Carlo Toffalori, Sottoinsiemi definibili in strutture ordinate