Special Session on Algebraic Logic (click on titles for slides)

American Mathematical Society Fall Western Sectional Meeting

University of Denver, Colorado, October 8-9, 2016

Organizers:
Nick Galatos, University of Denver ngalatos@du.edu
Peter Jipsen, Chapman University jipsen@chapman.edu

In memory of Bjarni Jónsson

• Saturday October 8, 2016, Morning session Special Session on Algebraic Logic, I Room 453, Sturm Hall

  • Algebraic Logic Applied to Relevance Logic -- From De Morgan Monoids to Generalized Galois Logics.
    J. Michael Dunn*, School of Informatics & Computing and Dept. of Philosophy, Indiana University Bloomington
  • The Geometry of Relevant Implication and original slides.
    Alasdair Urquhart*, University of Toronto
  • Esakia duality for Sugihara monoids.
    Wesley Fussner*, University of Denver
    Nick Galatos, University of Denver
  • Undecidability for certain subvarieties of commutative residuated lattices.
    Gavin St. John*, University of Denver
  • Linear Logic Properly Displayed.
    Alessandra Palmigiano*, Delft University of Technology
  • Separability for lattice-ordered Abelian groups and MV-algebras: a characterisation theorem.
    Vincenzo Marra*, Dipartimento di Matematica "Federigo Enriques", Università degli Studi di Milano, Milan, Italy
• Saturday October 8, 2016, Afternoon session Special Session on Algebraic Logic, II

  • Partial Orders on Free Groups and the Word Problem for Free Lattice-Ordered Groups.
    George Metcalfe*, University of Bern
  • Stone duality and model theory.
    Sam van Gool*, City College of New York and University of Amsterdam
    Benjamin Steinberg, City College of New York
  • Cube term blockers without finiteness.
    Keith A Kearnes*, University of Colorado
    Agnes Szendrei, University of Colorado
  • Some Algebraic Methods for CSP: with applications to commutative idempotent binars.
    Clifford Bergman, Iowa State University
    William DeMeo*, University of Hawaii
  • Series-parallel posets having a near-unanimity polymorphism.
    Benoit Larose, LACIM, Université du Québec à Montréal
    Ross Willard*, Pure Mathematics Dept., University of Waterloo
  • The complexity of comparing subalgebras given by generators.
    Andrei Bulatov, Simon Fraser University
    Peter Mayr, University of Colorado at Boulder
    Agnes Szendrei*, University of Colorado at Boulder
• Sunday October 9, 2016, Morning session Special Session on Algebraic Logic, III

  • Results and speculations in the neighborhood of the flexible atom conjecture.
    Jeremy F Alm*, Illinois College
  • There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras.
    Jeremy F. Alm, Illinois College
    Robin Hirsch, University College London
    Roger D. Maddux*, Iowa State University
  • Varieties of Boolean Semilattices.
    Clifford Bergman*, Iowa State University
  • Algebras in type 2 fuzzy sets.
    John Harding*, New Mexico State University
  • Algebraic logic and models of set theory: a challenge.
    George F McNulty*, University of South Carolina
  • Algebras and bialgebras via categories with distinguished objects.
    Vaughan R Pratt*, Stanford University
• Sunday October 9, 2016, Afternoon session Special Session on Algebraic Logic, IV

  • Duality for Arbitrary Bounded Lattices.
    M. Andrew Moshier*, Chapman University
  • On the proof that compact Hausdorff Boolean algebras are powersets.
    Guram Bezhanishvili*, New Mexico State University
    John Harding, New Mexico State University
  • On Paraconsistent Weak Kleene Logic and Involutive Bisemilattices.
    Jose Gil-Ferez*, Vanderbilt University
    Stefano Bonzio, University of Cagliari
    Francesco Paoli, University of Cagliari
    Luisa Peruzzi, University of Calgiari