Prague seminar on substructural logics
Prague, 28–29. March 2014
Institute of Computer Science AS CR, room 318, Pod vodárenskou věží 2, Prague
Pictures of the workshop (by PC)
Friday 28. 3. 2014
09:00–10:30
Rostislav Horčík
Eilenberg variety theorem and Abstract Algebraic Logic
10:50–12:20
Nick Galatos
A survey of residuated frames with connections to semirings and to display logic
14:00–15:30
Revantha Ramanayake
Display calculi in non-classical logics
15:50–17:20
Luca Spada, Nick Bezhanishvili
Axiomatisations for all varieties of n-potent residuated lattices
17:40–18:40
Tomoyuki Suzuki
A universal study of relational semantics for substructural and lattice-based logics
Saturday 29. 3. 2014
10:00–10:30
Paolo Baldi
Density Elimination and Standard Completeness for extensions of UL and MTL
10:30–11:00
Petr Cintula, Carles Noguera
17 Shades of Algebraizability
11:00–11:30
Agata Ciabattoni
Non classical proofs: Theory, Applications and Tools
11:50–12:50
Round table Substructural logics – Quo Vadis
14:30–16:00
Nick Galatos
A survey of residuated frames with connections to semirings and to display logic II
16:30–18:00
Unstructured discussion