Monday, 14 December 2014
morning session
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 |
|
|