American Mathematical Society

AMS Sectional Meeting AMS Special Session

Current as of Saturday, October 15, 2016 03:30:06

Associate secretaries:

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
  (1122-03-153)
- 8:30 a.m.
  The Geometry of Relevant Implication.
  Alasdair Urquhart*, University of Toronto
  (1122-06-188)
- 9:00 a.m.
  Esakia duality for Sugihara monoids.
  Wesley Fussner*, University of Denver
  Nick Galatos, University of Denver
  (1122-06-208)
- 9:30 a.m.
  Undecidability for certain subvarieties of commutative residuated lattices.
  Gavin St. John*, University of Denver
  (1122-06-353)
- 10:00 a.m.
  Linear Logic Properly Displayed.
  Alessandra Palmigiano*, Delft University of Technology
  (1122-03-230)
- 10:30 a.m.
  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
  (1122-06-205)

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 Lattice-Ordered Groups.
  George Metcalfe*, University of Bern
  (1122-06-90)
- 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
  (1122-03-97)
- 4:00 p.m.
  Cube term blockers without finiteness.
  Keith A Kearnes*, University of Colorado
  Agnes Szendrei, University of Colorado
  (1122-08-314)
- 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
  (1122-06-382)
- 5:00 p.m.
  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
  (1122-06-246)
- 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
  (1122-08-204)

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
- 8:00 a.m.
  Results and speculations in the neighborhood of the flexible atom conjecture.
  Jeremy F Alm*, Illinois College
  (1122-03-40)
- 8:30 a.m.
  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
  (1122-03-30)
- 9:00 a.m.
  Varieties of Boolean Semilattices.
  Clifford Bergman*, Iowa State University
  (1122-06-79)
- 9:30 a.m.
  Algebras in type 2 fuzzy sets.
  John Harding*, New Mexico State University
  (1122-06-98)
- 10:00 a.m.
  Algebraic logic and models of set theory: a challenge.
  George F McNulty*, University of South Carolina
  (1122-03-352)
- 10:30 a.m.
  Algebras and bialgebras via categories with distinguished objects.
  Vaughan R Pratt*, Stanford University
  (1122-03-371)

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
- 2:00 p.m.
  Duality for Arbitrary Bounded Lattices.
  M. Andrew Moshier*, Chapman University
  (1122-06-311)
- 2:30 p.m.
  On the proof that compact Hausdorff Boolean algebras are powersets.
  Guram Bezhanishvili*, New Mexico State University
  John Harding, New Mexico State University
  (1122-06-211)
- 3:00 p.m.
  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
  (1122-03-387)