HomeZJU EventsInvited TalksZhe Lin: Negation in non-classical propositional logics