Timetable of talks

Registration

Projectable l-groups and algebras of logic: categorical and algebraic connections

Discriminator varieties of Double-Heyting Algebras

What is Meyer's single variable arrow fragment of E problem?

Residuated structures and certain triples

Characterization of infinitary semilinear logics

Multiset consequence relations

Skolemization in substructural logics

From truth-functional to substructural logics via semantic games

Uniform interpolation theorem in substructural predicate logics

Hyper-natural deduction system with normalization

Substructural epistemic logic for skeptical agants

Completions diagonalised away