Abstracts

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.