Conference Agenda
Overview and details of the sessions of this conference. Please select a date or location to show only sessions at that day or location. Please select a single session for detailed view (with abstracts and downloads if available).
|
Daily Overview |
| Session | |
|
C9: Pathways to Falsity Location: 22.01 2B Session Chair: Heinrich Wansing Organised by Heinrich Wansing (Ruhr University Bochum) | |
    | |
Falsity Backwards CUNY Graduate Center, United States of America LP is a three-valued logic in which validity is defined in terms of truth preservation forward. Falsity is not preserved backwards. This paper concerns the logic PK, which one obtains when one adds the preservation of falsity backwards to the definition of validity. It discusses the properties of this system, and its relation to other well-known logics, such as Strong Kleene logic, K_3. | |