Monday, 14 December 2014
morning session
9:00-9:20
Registration
coffee break
11:20-12:00
12:00-12:40
Antonio Ledda
Christopher Taylor
Projectable l-groups and algebras of logic: categorical and algebraic connections
Discriminator varieties of Double-Heyting Algebras
lunch
afternoon session
14:20-15:00
15:00-15:40
John Slaney
Jan Kuhr
What is Meyer's single variable arrow fragment of E problem?
Residuated structures and certain triples
coffee break
16:00-16:40
16:40-17:20
Carles Noguera
Francesco Paoli
Characterization of infinitary semilinear logics
Multiset consequence relations
Tuesday, 15 December 2014
morning session
coffee break
11:20-12:00
12:00-12:40
Petr Cintula
Chris Fermueller
Skolemization in substructural logics
From truth-functional to substructural logics via semantic games
lunch
afternoon session
14:20-15:00
15:00-15:40
Hiroakira Ono
Norbert Preining
Uniform interpolation theorem in substructural predicate logics
Hyper-natural deduction system with normalization
coffee break
16:00-16:40
16:40-17:20
Marta Bilikova
Tomasz Kowalski
Substructural epistemic logic for skeptical agants
Completions diagonalised away