Schedule

Wed 4th Thu 5th Fri 6th Sat 7th

Saturday 7th

09:30
C. Tsinakis
Lattice-theoretic Properties of Algebras of Logic
10:30
D. Stamate
Fixpoint semantics for extended logic programs on bilattice based multivalued logics and applications Slides
10:55 Coffee Break
11:25
E. Turunen
Characterizing n-Fold Positive Implicative BL-logics
11:50
W. Young
Algebras Induced by a Unary Term Slides
12:15 Conclusion