Schedule

Thursday 5th

09:30
L. P. Belluce
The Rasiowa/Sikorski/(Tarski) Lemma
10:30
S. Pulmannova
Observables on lattice sigma-effect algebras
10:55
11:25
A. Dvurečenskij
How do l-groups and po-groups appear in algebraic and quantum structures? Slides
12:25
M. Bianchi
On some logical and algebraic properties of axiomatic extensions of the monoidal t-norm based logic MTL related with single chain completeness Slides
12:50
H. Freytes
Equational type characterization for sigma-complete MV-algebras: An application of the Loomis-Sikorski Theorem
13:15
14:30
21:00