Special Session on Algebraic Logic (click on titles for slides)
American Mathematical Society Fall Western Sectional Meeting
University of Denver, Colorado, October 89, 2016
Organizers:
Nick Galatos, University of Denver
ngalatos@du.edu
Peter Jipsen, Chapman University
jipsen@chapman.edu

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 latticeordered Abelian groups and MValgebras: 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 LatticeOrdered 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

Seriesparallel posets having a nearunanimity 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

Sunday October 9, 2016, Afternoon session
Special Session on Algebraic Logic, IV