Schedule

Day 1

Wednesday, September 10

9:00 - 10:00

Opening remarks

10:00 - 11:00

The Algebra of Analytic Containment

Francesco Paoli

11:00 - 11:30 Coffee Break

11:30 - 12:10

KD45-like modal substructural logics

Manuela Busaniche & Miguel Marcos

12:20 - 13:00

Combinations of canonical and cocanonical sequent systems

13:00 - 15:00 Lunch Break

15:00- 15:40

Negative and positive characterization of a Tarskian logic

Martina Zirattu

15:50- 16:30

Axiomatising variants of MTL fuzzy logics preserving weaker notions of truth

16:30 - 17:00 Coffee Break

17:00 - 18:00

Free Nelson algebras

Day 2

Thursday, September 11

10:00 - 11:00

Hyperalgebraic structures defined from hyperlattices

Marcelo Coniglio

11:00 - 11:30 Coffee Break

11:30 - 12:10

An Algebraic Treatment of Substructural Logics

Patricio Díaz Varela

12:20 - 13:00

Maximally substructural Tarskian logics

13:00 - 15:00 Lunch Break

15:00- 15:40

Inferential non-bivalence beyond mixedness

Federico Pailos

15:50- 16:30

Subresiduated Nelson Algebras

Noemi Lubomirsky

16:30 - 17:00 Coffee Break

17:00 - 18:00

Paranormality, some restricted versions

Verónica Borja

21:00

Workshop Dinner

(TBA)

Day 3

Friday, September 12

10:00 - 11:00

Uncompact

11:00 - 11:30 Coffee Break

11:30 - 12:10

Conditional based on selection functions, modal operators and probabilities

Giuliano Rosella

12:20 - 13:00

Some problems on normal form in logical metainferentialism

13:00 - 15:00 Lunch Break

15:00- 15:40

Extending Global Validity

15:50- 16:30

Sequent Algebras

William Zuluaga

16:30 - 17:00 Coffee Break

17:00 - 18:00

Betweenness algebras

Page updated

Google Sites

Report abuse