## Program

NB. K. Schulz's talk replaces J. Huitink's talk, and P. Cobreros et al. replaces Y. Sudo et al's talk.Monday August 13

14h-14h30: E.A-Anna Dietz and S. Hölldobler. Modeling the Suppression Task under Three-Valued Lukasiewicz and Well-Founded Semantics

14h30-15h30: K. Schulz (Invited talk, TBA)

Tuesday August 14

14h-14h30: H. Burnett. A Multi-Valued Delineation Semantics for Absolute Adjectives

14h30-15h: J. Zehr and O. Percus. TCS for presuppositions

15h-15h30: P. Cobreros, P. Egre, D. Ripley and R. van Rooij. How many degrees of truth do we need for vague predicates?

Wednesday August 15

14h-14h30: V. Degauquier. Are True and False Not Enough?

14h30-15h30: A. Avron (invited talk). Using Trivalent Semantics for Paraconsistent Reasoning

Thurday August 16

14h-14h30: T. Perkov. A trivalent logic that encapsulates intuitionistic and classical logic

14h30-15h: S. Kuznetsov. Trivalent logics arising from L-models for the Lambek calculus with constants

15h-15h30: B. Konikowska and A. Avron. Reasoning about Rough Sets Using Three Logical Values

Friday August 17

14h-14h30: P. Kulicki and R. Trypuz. Doing the right things – trivalence in deontic action logic

14h30-15h30: G. Malinowski (invited talk). Logical three-valuedness and beyond.