AMS Sectional Meeting AMS Special Session
Current as of Saturday, October 15, 2016 03:30:06
Program ·
Deadlines ·
Registration/Housing/Etc.
Inquiries: meet@ams.org
Fall Western Sectional Meeting
University of Denver, Denver, CO
October 89, 2016 (Saturday  Sunday)
Meeting #1122
Associate secretaries:
Michel L Lapidus, AMS lapidus@math.ucr.edu, lapidus@mathserv.ucr.edu, lapidus@math.ucr.edu
Special Session on Algebraic Logic

Saturday October 8, 2016, 8:00 a.m.10:50 a.m.
Special Session on Algebraic Logic, I
Room 453, Sturm Hall
Organizers:
Nick Galatos, University of Denver ngalatos@du.edu
Peter Jipsen, Chapman University

8:00 a.m.
Algebraic Logic Applied to Relevance Logic  From De Morgan Monoids to to Generalized Galois Logics.
J. Michael Dunn*, School of Informatics & Computing and Dept. of Philosophy, Indiana University Bloomington
(112203153)

8:30 a.m.
The Geometry of Relevant Implication.
Alasdair Urquhart*, University of Toronto
(112206188)

9:00 a.m.
Esakia duality for Sugihara monoids.
Wesley Fussner*, University of Denver
Nick Galatos, University of Denver
(112206208)

9:30 a.m.
Undecidability for certain subvarieties of commutative residuated lattices.
Gavin St. John*, University of Denver
(112206353)

10:00 a.m.
Linear Logic Properly Displayed.
Alessandra Palmigiano*, Delft University of Technology
(112203230)

10:30 a.m.
Separability for latticeordered Abelian groups and MValgebras: a characterisation theorem.
Vincenzo Marra*, Dipartimento di Matematica "Federigo Enriques", Università degli Studi di Milano, Milan, Italy
(112206205)

Saturday October 8, 2016, 3:00 p.m.5:50 p.m.
Special Session on Algebraic Logic, II
Room 453, Sturm Hall
Organizers:
Nick Galatos, University of Denver ngalatos@du.edu
Peter Jipsen, Chapman University

3:00 p.m.
Partial Orders on Free Groups and the Word Problem for Free LatticeOrdered Groups.
George Metcalfe*, University of Bern
(11220690)

3:30 p.m.
Stone duality and model theory.
Sam van Gool*, City College of New York and University of Amsterdam
Benjamin Steinberg, City College of New York
(11220397)

4:00 p.m.
Cube term blockers without finiteness.
Keith A Kearnes*, University of Colorado
Agnes Szendrei, University of Colorado
(112208314)

4:30 p.m.
Some Algebraic Methods for CSP: with applications to commutative idempotent binars.
Clifford Bergman, Iowa State University
William DeMeo*, University of Hawaii
(112206382)

5:00 p.m.
Seriesparallel posets having a nearunanimity polymorphism.
Benoit Larose, LACIM, Université du Québec à Montréal
Ross Willard*, Pure Mathematics Dept., University of Waterloo
(112206246)

5:30 p.m.
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
(112208204)

Sunday October 9, 2016, 8:00 a.m.10:50 a.m.
Special Session on Algebraic Logic, III
Room 453, Sturm Hall
Organizers:
Nick Galatos, University of Denver ngalatos@du.edu
Peter Jipsen, Chapman University

Sunday October 9, 2016, 2:00 p.m.3:20 p.m.
Special Session on Algebraic Logic, IV
Room 453, Sturm Hall
Organizers:
Nick Galatos, University of Denver ngalatos@du.edu
Peter Jipsen, Chapman University
Inquiries: meet@ams.org