Università degli Studi di Cagliari
FIRST JOINT CAGLIARI-OLOMOUC WORKSHOP ON ALGEBRAIC LOGIC
14 maggio 2012
FIRST JOINT CAGLIARI-OLOMOUC WORKSHOP ON ALGEBRAIC LOGIC
Cagliari, 14-16 maggio 2012
Programma
Lunedì 14 maggio 2012, aula 6
Facoltà di Scienze della Formazione
9.30-10.30 Ivan Chajda (Palacky University, Olomouc), A non-associative generalization of effect algebras
10.30-11.30 José Gil-Férez (Università di Cagliari), Leibniz interpolation properties
11.30-12 Break
12-13 Francesco Paoli (Università di Cagliari), On independent varieties and some related notions
Martedì 15 maggio 2012, aula 6
Facoltà di Scienze della Formazione
9.30-10.30 Radomir Halas (Palacky University, Olomouc), Tolerance factorable algebras
10.30-11.30 Karl Svozil (TU Wien e Università di Cagliari), Quantification of contextuality
11.30-12 Break
12-13 Giuseppe Sergioli (Università di Cagliari), Epistemic quantum computational logic
Mercoledì 16 maggio 2012, aula 6
Facoltà di Scienze della Formazione
9.30-10.30 Jan Kühr (Palacky University, Olomouc), Pseudo-BCK-algebras
10.30-11.30 Constantine Tsinakis (Vanderbilt University, Nashville e Università di Cagliari), The finite embeddability property for algebras of logic
11.30-11.45 Break
11.45-12.45 Antonio Ledda (Università di Cagliari), Quasi-discriminator varieties