Date: 24-25 October 2017
Location: Department of Computer Science and Forum Scientiarum
Workshop in collaboration with the "Logik und Erkenntnistheorie" group of Ruhr-Universität-Bochum.
Tuesday, 24 October 2017, 15h30-20h, Department of Computer Science, Room 104, Sand 1:
- Thomas Piecha (Tübingen): Intuitionistic logic is not complete for standard proof-theoretic semantics
- Luca Tranchini (Tübingen): Yet another computational interpretation of classical logic
- Paolo Maffezioli (Bochum): Intuitionistic extensional mereology
- Grigory Olkhovikov (Bochum): Justification stit logics: a survey of results
Wednesday, 25 October 2017, 10-16h, Forum Scientiarum, Seminarraum 1.3, Doblerstraße 33:
- Michael Arndt (Tübingen): Tomographs for Substructural Display Logic
- Sergey Drobyshevich (Bochum): A Hilbert-style calculus that takes falsification seriously
- Joao Marcos (Bochum): The mystery of duality unraveled: dualizing rules, operators, and logics
- Daniel Skurt (Bochum): More modal semantics without possible worlds
Contact: Michael Arndt
