Timetable of talks

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