Research Workshop 2 on 'Duality Theory in Algebra, Logic and Computer Science'.

15 August 2012
00:00
to
17 August 2012
00:00
Abstract

Organisers: Hilary Priestley, Drew Moshier and Leo Cabrer.

This will be devoted to the applications of dualities to logic and algebra, focusing on general techniques. Thus it will seek to complement the specialised coverage in meetings devoted to, for example, modal logic, residuated structures and many-valued logics, or coalgebras. The featured topics for the Workshop will be drawn from completions of ordered structures, and applications; admissible rules, unification theory, interpolation and amalgamation; aspects of many-valued and substructural logics and ordered algebraic structures. Keynote speakers will be Leo Cabrer and Mai Gehrke.

  • Analytic Topology in Mathematics and Computer Science