Constructive Validity and Admissibility Inkyo Chung, Philosophy, Korea University, Seoul, SOUTH KOREA Untyped validity: from interaction to rules Mattia Petrolo, Philosophy, IHPST - Université Paris 1, Paris, FRANCE Paolo Pistone, Università Roma Tre/Université Aix-Marseille, Roma, ITALY On Dummett's Verificationist Justification Procedure Hermógenes Oliveira, Faculdade de Filosofia, Universidade Federal de Goiás, Goiânia, BRAZIL Wagner Sanz, Faculdade de Filosofia, Universidade Federal de Goiás, Goiânia, BRAZIL
Completeness results in proof-theoretic semantics and the treatment of negation Thomas Piecha, Department of Computer Science, University of Tübingen, Tübingen, GERMANY