AILA - Associazione Italiana di Logica e sue Applicazioni

Atti degli incontri di logica matematica Volume 3

• Indice

VIII incontro di logica matematica: Proof theory e intuizionismo

• Jean Yves Girard, Π¹₂-Logic and related topics (corso breve)
• Kim Bruce e Giuseppe Longo, Domain equations and valid isomorphisms in all models of (higher order) languages. A short discussion
• Andrea Cantini, Su una teoria generale delle proprietà, basata su schemi di comprensione iterati e privi di tipi
• Pierangelo Miglioli, Ugo Moscato e Mario Ornaghi, Alcuni sistemi costruttivi e semicostruttivi del primo ordine
• Massimo Clavelli, Un Approccio astratto ai principi di libera costruzione per insiemi, coppie, uruple, operazioni ed eventuali altri oggetti nella teoria quadro dei fondamenti della matematica di De Giorgi-Forti
• Flavio Previale, Osservazioni sulla congettura di Takeuti
• Silvio Valentini, Applicazioni della teoria intuizionistica dei tipi in Theoretical Computer Science

IX incontro di logica matematica: Teoria dei modelli e analisi non standard

• Annalisa Marcja, Stabilità  in teoria dei modelli con applicazioni all'algebra (corso breve)
• Jens Erik Fenstad, The discrete and the continuous in mathematics and the natural sciences (corso breve)
• George Reeb, Étude expérimentale du moiré suggérée par l'analyse non standard (conferenza)
• Aldo Bressan, On the logic of senses. An anomalous use of belief sentences. Its rigorous and formal treatment (conferenza)
• Rachid Bebbouchi, Application de l'analyse non standard das un probleme de semi-conducteurs
• Claudio Berta e Giancarlo Meloni, Dottrine con comprensione e logiche libere
• Ruggero Ferro, ω-soddisfacibilità  e teoremi di interpolazione
• Marco Forti, On the order-structure of the real numbers in non-standard models of the analysis
• Stefano Stefani, ABC: una teoria algebrica per ridurre codice intermedio
• Carlo Toffalori, Alcune osservazioni sulle teorie fortemente o-minimali
• Vincenzo Maria Tortorelli, Γ Limiti e analisi non-standard
• A. Barbara Veit, Oggetti classificanti per categorie algebriche
• Antonio Vincenzi, On the abstract model theoretic neighbourhood of the logics of computer languages I. Compactness

X incontro di logica matematica: La logica nell'informatica

• Mario Coppo, Tipi e polimorfismo nei linguaggi di programmazione (corso breve)
• Bengt Nordström, Martin-Löf's type theory as a programming logic (corso breve)

Programmazione e logica: esperienze e aspettative. Interventi dal settore della produzione

• Intervento di P.G. Bosco, G. Giandonato, S. Giorcelli, E. Giovannetti, S. Sofi, Aspetti di una ricerca CSELT su macchine e linguaggi di nuova generazione
• Intervento di Luigi Stringa, Annalisa Marcja, Intelligenza artificiale e logica
• Intervento di Eugenio Omodeo

Tavola rotonda sul tema Logica e informatica: da incidenti di confine a un'alleanza d'interesse?

• Intervento di Henk Barendregt
• Intervento di Corrado Böhm
• Intervento di Carlo Cellucci

Comunicazioni

• V. Michele Abrusci, Gianfranco Mascari, A logic of recursion
• D. Cantone, A. Ferro, Some recent decidability results in set theory
• M. Dezani-Ciancaglini e B.Venneri, Un sistema di assegnazione di tipi parziali
• Giangiacomo Gerla, Teoria degli L-sottoinsiemi e ricorsività 
• F. Honsell, S. Ronchi Della Rocca, I modelli topologici non sono completi per il λ-calcolo
• Anna Labella, Alberto Pettorossi, Semantica categorica della sincronizzazione tra processi di calcolo
• Maurizio Negri, Prodotti di modelli di termini
• Dino Pedreschi, Paolo Mancarella e Franco Turini, Functional meta level for logic programming
• Gabriele Ricci, Illogical Programming
• Antonio Salibra, Universal algebraic semantics
• Stefano Stefani, Costruzioni di tipi nel linguaggio di Peano
• Antonio Vincenzi, On the abstract model-theoretic neighbourhood of logics of computers languages II. Basic Properties