Sesión extraordinaria del Seminario (15-5-2012): Barteld Kooi

Fecha / Date: 15-5-2012.

Hora / Time: 10:00 h.

Lugar / Location: Seminario de Lógica de la Facultad de Filosofía - Universidad de Sevilla.

Ponente / Lecturer: Barteld Kooi (Department of Theoretical Philosophy - University of Groningen).

Título / Tittle: Correspondence Theory for Many-Valued Logic. [joint work with Allard Tamminga]

Resumen / Abstract:
Taking our inspiration from modal correspondence theory, we present the idea of correspondence theory for many-valued logics. As a benchmark case, we study truth-functional extensions of the Logic of Paradox (LP). First, we characterize each of the possible truth-table entries for unary and binary operators that could be added to LP by an inference scheme. Second, we define a class of natural deduction systems on the basis of these characterizing inference schemes and a natural deduction system for LP. Third, we show that each of the resulting natural deduction systems is sound and complete with respect to its particular semantics.