Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own

View analytic
Saturday, August 8 • 10:00 - 12:00
A2.22 Philosophical Logic

Sign up or log in to save this to your schedule and see who's attending!

8 August 10:00 – 12:00

 

SPEAKERS AND TITLES


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

Chairs
PP

Paolo Pistone

Università Roma Tre

Speakers
IC

Inkyo Chung

Korea University
avatar for Hermógenes Oliveira

Hermógenes Oliveira

University of Tübingen
MP

Mattia Petrolo

IHPST - Université Paris 1
TP

Thomas Piecha

University of Tübingen
WS

Wagner Sanz

UFG/CNPq



Saturday August 8, 2015 10:00 - 12:00
Main Building, Room 6

Attendees (6)