AMS-UMI First Joint International Meeting
Session 51
Algebraic Logic and Universal Algebra

Pisa, Italy
June 12-16, 2002

Organizers
Paolo Aglianò (University of Siena, Italy)
Keith A. Kearnes (University of Colorado, USA)
Franco Montagna (University of Siena, Italy)
Don Pigozzi (Iowa State University, USA)

Invited speakers

• Kirby A. Baker (University of California, Los Angeles, USA)
  Techniques in finite-basis problems postscript, PDF
• Joel Berman (University of Illinois at Chicago, USA)
  Varieties with equationally definable order relations postscript PDF
• Roberto Cignoli (Universidad de Buenos Aires and CONICET, Argentina)
  An equational approach to Glivenko-like theorems postscript PDF
• Janusz Czelakowski (Opole University, Poland)
  Set-theoretic domains. Towards the algebraization of set theory. postscript PDF
• Dejan Delic (Ryerson University, Canada)
  Discriminator varieties with group stalks postscript PDF
• Miklós Ferenczi (Technical University of Budapest, Hungary)
  On generalizations of measurable functions postscript PDF
• Josep M. Font (University of Barcelona, Spain)
  Fully adequate Gentzen systems in abstract algebraic logic postscript PDF
• Pawel M. Idziak (Jagiellonian University, Krakow, Poland)
  Generative complexity in algebra postscript PDF
• Kalle Kaarli (University of Tartu, Estonia)
  On categorical equivalence of finite arithmetical algebras postscript PDF
• Paolo Lipparini (Università di Tor Vergota, Roma, Italia)
  About n-permutable varieties and congruence identities postscript PDF
• Ralph McKenzie (Vanderbilt University, USA)
  Finite axiomatizability of finitely generated classes postscript PDF
• Daniele Mundici (University of Milan, Italy)
  MV-algebras and multisets postscript PDF
• Hiroakira Ono (Japan Advanced Institute of Science and Technology, Japan)
  Closure operations and complete embeddings of residuated lattices, and completeness theorems of substructural logics postscript PDF
• James G. Raftery (University of Natal, South Africa)
  On Assertional Equivalence of Quasivarieties postscript PDF
• Ágnes Szendrei (University of Szeged, Hungary)
  Term equivalence of finite groups postscript PDF
• Aldo Ursini (University of Siena, Italy)
  Algebrizing the Algebrizable postscript PDF