Monday, 14 December 2014

morning session

9:00-9:20

Registration
9:20-9:40 Hiroakira Ono Official opening
9:40-10:20 Brian Davey Surprise!
10:20-11:00 Miroslav Haviar TiRS graphs and TiRS frames: a new setting for duals of canonical extensions

coffee break

11:20-12:00 Antonio Ledda Projectable l-groups and algebras of logic: categorical and algebraic connections
12:00-12:40 Christopher Taylor Discriminator varieties of Double-Heyting Algebras


lunch

afternoon session

14:20-15:00 John Slaney What is Meyer's single variable arrow fragment of E problem?
15:00-15:40 Jan Kuhr Residuated structures and certain triples

coffee break

16:00-16:40 Carles Noguera Characterization of infinitary semilinear logics
16:40-17:20 Francesco Paoli Multiset consequence relations




Tuesday, 15 December 2014

morning session

9:00-9:40 Greg Restall Remarks on relevant arithmetic
9:40-10:20 Zach Weber Paraconsistent arithmetic without contraction
10:20-11:00 Martin Bunder Abstract versions of Goedel's Incompleteness and Tarski's Undefinability Theorems

coffee break

11:20-12:00 Petr Cintula Skolemization in substructural logics
12:00-12:40 Chris Fermueller From truth-functional to substructural logics via semantic games


lunch

afternoon session

14:20-15:00 Hiroakira Ono Uniform interpolation theorem in substructural predicate logics
15:00-15:40 Norbert Preining Hyper-natural deduction system with normalization

coffee break

16:00-16:40 Marta Bilikova Substructural epistemic logic for skeptical agants
16:40-17:20 Tomasz Kowalski Completions diagonalised away